「：古曰：遍览官书，核其名实，而录其类。今释：遍历标准库全部模块，导出类型检查后的公开签名，包括别名与推导类型。：」
寻观「标准库」之书。
寻观「构建基础」之「包定位」之书。
寻观「构建基础」之「包上下文」之书。
寻观「包配置」之「包依赖」之书。
寻观「标准库」之「操作系统」之「命令行参数」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「标准库」之「操作系统」之「路径」之书。
寻观「拓展库」之「网页客户端」之「核心」之书。

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「模块操作」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「检查后定义处理」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译数据」之「语言服务信息」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「词法解析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「抽象语法分析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「注释操作」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译过程」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译文件缓存工具」之书。


寻观「拓展库」之「癸象工具」之「总集」之书。

「文档类型表示」乃化「表达式」而「字符串」也。
「文档类型表示」者会「类型」而
    递归虑「表示」其化（「列」于「字符串」）而化「表达式」而「字符串」者会「绑定名们」而会「当前类型」而
        鉴「当前类型」而
            有（「自由变量」于「名称」）则『「』附「名称」附『」』
            或有（「绑定变量」于「序数」）则『「』附（「第N个」于（「减」于「序数」于「一」）于「绑定名们」）附『」』
            或有（「绑定」于「可有名称」于「体」）则（
                鉴「可有名称」而
                    有（「可有」于「名称」）则『承「』附「名称」附『」而』附
                        （「表示」于（「缀」于「名称」于「绑定名们」）于「体」）
                    或有「可无」则『承一类型而』附（「表示」于（「缀」于『所承类型』于「绑定名们」）于「体」））
            或有（「式节点」于（「内建节点」于「常量」）于「罄」）则
                『「』附（「内建常量悬停表示」于「常量」）附『」』
            或有（「式节点」于「箭头类型节点」于「类型们」）则（
                递归虑「表示箭头」其化（「列」于「表达式」）而「字符串」者会「余下类型」而
                    鉴「余下类型」而
                        有（「缀」于「值域」于「罄」）则「表示」于「绑定名们」于「值域」
                        或有（「缀」于「定义域」于「后类型」）则
                            『化（』附（「表示」于「绑定名们」于「定义域」）附『）而』附（「表示箭头」于「后类型」）
                        或有「罄」则『「未知类型」』
                而「表示箭头」于「类型们」）
            或有（「式节点」于「元组类型节点」于「类型们」）则
                『（』附（「间合」于『合』于（（「态射」授以「表达式」授以「字符串」）于「类型们」于
                    （会「子类型」而「表示」于「绑定名们」于「子类型」）））附『）』
            或有（「式节点」于「函数调用」于「子式们」）则
                『（』附（「间合」于『于』于（（「态射」授以「表达式」授以「字符串」）于「子式们」于
                    （会「子式」而
                        鉴「子式」而
                            有（「式节点」于（「参数节点」于「忽略形式」）于（「缀」于「参数」于「罄」））则
                                「表示」于「绑定名们」于「参数」
                            或有「其他」则「表示」于「绑定名们」于「子式」）））附『）』
            或有（「式节点」于（「隐式派类型节点」于「忽略个数」）于（「缀」于「体」于「罄」））则
                「表示」于「绑定名们」于「体」
            或有（「式节点」于（「文件定义引用节点」于「忽略文件」于「定义名」于「忽略序数」）于「罄」）则
                『「』附「定义名」附『」』
            或有（「式节点」于（「唯一构造器节点」于「忽略序数」于「忽略文件」于「构造器名」）于「忽略子式」）则
                『「』附「构造器名」附『」』
            或有（「式节点」于（「文件引用节点」于「忽略路径」）于「罄」）则『「模块」』
            或有（「式节点」于（「源码范围标注节点」于「忽略范围」）于（「缀」于「原式」于「罄」））则
                「表示」于「绑定名们」于「原式」
            或有（「式节点」于（「源码绑定范围标注节点」于「忽略范围」）于（「缀」于「原式」于「罄」））则
                「表示」于「绑定名们」于「原式」
            或有「其他」则『「未知类型」』
    而「表示」于「罄」于「类型」
也。

「收签名」乃化「字符串」而化「整数」而化「文件定义列」而「列」于「癸象」也。
「收签名」者会「文件路径」而会「序」而会「定义们」而
    鉴「定义们」而
        有「罄」则「罄」
        或有（「缀」于（「名」与「公开」与「项」）于「余」）则
            虑「后」者「收签名」于「文件路径」于（「加」于「序」于「一」）于「余」而
            若「且」于「公开」于（「非」于（「串开头是它吗」于『《《内部匿名顶层表达式_』于「名」））
            则虑「类物」者「检查后定义项类及物」于「文件路径」于「名」于「序」于「项」而
                （「缀」授以「癸象」）于（「癸象对象」于（「列」【
                    『名称』与（「癸象字符串」于「名」），
                    『签名』与（「癸象字符串」于（「文档类型表示」于（「类物」中「零」）））
                】））于「后」
            否则「后」
也。

「遍书」乃化「字符串」而「列」于「字符串」也。
「遍书」者会「目录」而
    递归虑「续」其化（「列」于「字符串」）而（「列」于「字符串」）者会「名们」而
        鉴「名们」而
            有「罄」则「罄」
            或有（「缀」于「名」于「余」）则
                虑「文件路径」者「路径合并」于「目录」于「名」而
                若「串相等」于「名」于『.』则「续」于「余」
                否则若「串相等」于「名」于『..』则「续」于「余」
                否则若「串结尾是它吗」于『_v0』于「名」则「续」于「余」
                否则若「路径是文件夹」于「文件路径」则（「附加」授以「字符串」）于（「遍书」于「文件路径」）于（「续」于「余」）
                否则若「串结尾是它吗」于『。测试。豫』于「名」则「续」于「余」
                否则若「串结尾是它吗」于『。包。豫』于「名」则「续」于「余」
                否则若「串结尾是它吗」于『。豫』于「名」则（「缀」授以「字符串」）于「文件路径」于（「续」于「余」）
                否则「续」于「余」
    而「续」于（「读文件夹」于「目录」）
也。

「已检」者（「新引用」授以（「列」于「字符串」））于（「罄」授以「字符串」）也。

「检诸书」乃化（「列」于「字符串」）而「有」也。
「检诸书」者会「书们」而
    鉴「书们」而
        有「罄」则「元」
        或有（「缀」于「文件路径」于「余」）则（
            虑「无」者（若（「存在吗」授以「字符串」）于（会「已」而「串相等」于「已」于「文件路径」）于（（「读引用」授以（「列」于「字符串」））于「已检」）则「元」
            否则（「进行编译」于「文件路径」；「列引用前衔」于「已检」于「文件路径」））而
            「检诸书」于「余」）
也。

「取一书」乃化「字符串」而化「字符串」而「癸象」也。
「取一书」者会「根」而会「文件路径」而
    虑「无」者「标准错误打印行」于（『导出：』附「文件路径」）而
    虑「无」者「所有依赖分析」于「文件路径」而
    虑「无」者「检诸书」于（「结尾多」授以「字符串」于（（「读引用」授以（「列」于「字符串」））于「文件编译顺序」）于「文件路径」）而
    「癸象对象」于（「列」【
        『路径』与（「癸象字符串」于（「去除串开头」于（「根」附『/库/』）于「文件路径」）），
        『声明』与（「癸象数组」于（「收签名」于「文件路径」于「零」于（「读检查后定义」于「文件路径」）））
    】）
也。

虑「根」者「获取当前路径」于「元」而
鉴「获取参数」于「元」而
    有（「缀」于「输出路径」于「罄」）则（
        虑「图」者「解析包图」于（「发现包」于「根」于『』）于（『』与『标准库』）而
        虑「无」者「启用包上下文」于（「存放上下文」于（「编码包上下文」于（「图」中「零」）））而
        （「写引用」授以「爻」）于「仅执行类型检查」于「阳」；
        （「写引用」授以「爻」）于「打印非常粗略调试信息」于「阴」；
        虑「包根」者「包目录」于（「查包」于（「图」中「零」）于（「选择包身份」于（「图」中「零」）于（『』与『标准库』）））而
        虑「总集」者「路径合并」于「包根」于『总集。豫』而
        虑「书们」者「缀」授以「字符串」于「总集」于（「滤」授以「字符串」于（会「书」而「非」于（「串相等」于「书」于「总集」））于（「遍书」于「包根」））而
        虑「模块们」者（「态射」授以「字符串」授以「癸象」）于「书们」于（会「书路径」而「取一书」于「根」于「书路径」）而
        「写文件」于「输出路径」于（「癸象表示」于（「癸象对象」于（「列」【
            『版本』与（「癸象整数」于「一」），『模块』与（「癸象数组」于「模块们」）
        】）））
    ）
    或有「其他」则「发生事故」于『用法：yy标准库签名导出 输出文件』
。
