
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字符流术」之书。

「解析结果」立化「元类型」而「元类型」也。
「成功解析」立承「甲」而化「甲」而化「字符流」「：剩余输入：」而「解析结果」于「甲」也。
「失败解析」立承「甲」而化「字符串」「：失败原因：」而化「字符流」「：剩余输入：」而「解析结果」于「甲」也。


「解析器」立化「元类型」而「元类型」也。
「构造解析器」立承「甲」而化（化「字符流」而「解析结果」于「甲」）而「解析器」于「甲」也。

「运行解析器」乃承「甲」而化「解析器」于「甲」而化「字符流」而「解析结果」于「甲」也。
「运行解析器」者会「器」而会「输入」而
    鉴「器」而
        有（「构造解析器」于「解析函数」）则（「解析函数」于「输入」）也。
