coqdomain.py 文件源码

python
阅读 23 收藏 0 点赞 0 评论 0
项目：coq-rst 作者: cpitclaudel 项目源码 文件源码 
def is_coqtop_or_coqdoc_block(node):
    return (isinstance(node, nodes.Element) and
       ('coqtop' in node['classes'] or 'coqdoc' in node['classes']))
您未登录，请先登录后再评论
评论列表
文章目录

提
问题

写
面经

写
文章

微信
公众号

扫码关注公众号