coqdomain.py 文件源码

python
阅读 24 收藏 0 点赞 0 评论 0
项目：coq-rst 作者: cpitclaudel 项目源码 文件源码 
def _render_signature(self, signature, signode):
        signode += addnodes.desc_name(signature, signature)
您未登录，请先登录后再评论
评论列表
文章目录

提
问题

写
面经

写
文章

微信
公众号

扫码关注公众号