寻观「标准库」之「数据结构」之「多态列」之书。
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「语言核心」之「引用」之书。

寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「标准库」之「数据结构」之「爻术」之书。
寻观「标准库」之「语言核心」之「异常」之书。
寻观「标准库」之「数据结构」之「可选值」之书。
寻观「标准库」之「语言核心」之「续延」之书。

「一元素列」乃承「甲」而化「甲」而（「列」于「甲」）也。
「一元素列」者受「甲」而会「元素甲」而
    （「列」【「元素甲」】）也。

「二元素列」乃承「甲」而化「甲」而化「甲」而（「列」于「甲」）也。
「二元素列」者受「甲」而会「元素甲」而会「元素乙」而
    （「列」【「元素甲」，「元素乙」】）也。

「三元素列」乃承「甲」而化「甲」而化「甲」而化「甲」而（「列」于「甲」）也。
「三元素列」者受「甲」而会「元素甲」而会「元素乙」而会「元素丙」而
    （「列」【「元素甲」，「元素乙」，「元素丙」】）也。

「头一个」乃承「乙」而化（「列」于「乙」）而「乙」也。
「头一个」者受「乙」而会「列」而
    鉴「列」而
        有「罄」则
        （「发生事故」于『索引异常』
            ）
        或有「缀」于「头」于「尾」则（
            「头」
        ）也。

「最后一个」乃承「乙」而化（「列」于「乙」）而「乙」也。
「最后一个」者受「乙」而会「列」而
     「头一个」授以「乙」于（「反转」授以「乙」于「列」）也。

「更新第N个」乃承「乙」而化「整数」而化（化「乙」而「乙」）而化（「列」于「乙」）而「列」于「乙」也。
「更新第N个」者受「乙」而会「序数」而会「射」而会「列」而
    「附加」授以「乙」于（「附加」授以「乙」于（「取」授以「乙」于「序数」于「列」）于（（「列」【（「射」于（「第N个」授以「乙」于「序数」于「列」））】）））于（「放」授以「乙」于（「加」于「序数」于「一」）于「列」）也。

「移除重复」乃承「乙」而化（化「乙」而化「乙」而「爻」）而化（「列」于「乙」）而「列」于「乙」也。
「移除重复」者受「乙」而会「等」而会「入」而
    鉴「入」而
        有「罄」则「罄」
        或有「缀」于「头」于「尾」则「缀」于「头」于（「移除重复」授以「乙」于「等」于（「滤」授以「乙」于（会「甲」而「非」于（「等」于「甲」于「头」））于「尾」））也。

「找到重复」乃承「乙」而化（化「乙」而化「乙」而「爻」）而化（「列」于「乙」）而「列」于「乙」也。
「找到重复」者受「乙」而会「等」而会「入」而
    鉴「入」而
        有「罄」则「罄」
        或有「缀」于「头」于「尾」则
        （若「存在吗」授以「乙」于（会「元素」而「等」于「头」于「元素」）于「尾」
        则「缀」于「头」于（「找到重复」授以「乙」于「等」于（「滤」授以「乙」于（会「甲」而「非」于（「等」于「甲」于「头」））于「尾」））
        否则「找到重复」授以「乙」于「等」于「尾」）也。
	        
「出现重复」乃承「乙」而化（化「乙」而化「乙」而「爻」）而化（「列」于「乙」）而「爻」也。
「出现重复」者受「乙」而会「等」而会「入」而
    「不等于」于（「长度」授以「乙」于「入」）于（「长度」授以「乙」于（「移除重复」授以「乙」于「等」于「入」））也。

「：zip，长度必须一样：」
「拉链合并」乃承「甲」而承「乙」而化（「列」于「甲」）而化（「列」于「乙」）而「列」于（「甲」合「乙」）也。
「拉链合并」者受「甲」而受「乙」而会「甲列」而会「乙列」而
    鉴「甲列」与「乙列」而
    有「罄」与「罄」则「罄」
    或有（「缀」于「甲首」于「甲尾」）与（「缀」于「乙首」于「乙尾」）则「缀」于（「甲首」与「乙首」）于（「拉链合并」授以「甲」授以「乙」于「甲尾」于「乙尾」）
    或有「其他」则「发生事故」于『拉链合并于不同长度的两个列』也。
    

「态射二」乃（承「甲」而承「乙」而承「丙」而化（化「甲」而化「丙」而「乙」）而化（「列」于「甲」）而化（「列」于「丙」）而「列」于「乙」）也。
「态射二」者受「甲」而受「乙」而受「丙」而（会
	    「射」而（会「列甲」而会「列丙」而（鉴「列甲」与「列丙」而
        有「罄」与「罄」则「罄」
        或有「缀」于「甲头」于「甲尾」与「缀」于「乙头」于「乙尾」则
            （「缀」于（「射」于「甲头」于「乙头」）于（「态射二」授以「甲」授以「乙」授以「丙」于「射」于「甲尾」于「乙尾」） ）
        或有「其他」则「发生事故」于『态射二中的长度不一致！！』
	            ）））也。

「： 注all。 ：」
「全部符合二」乃（承「甲」而承「乙」而化（化「甲」而化「乙」而「爻」）而化（「列」于「甲」）而化（「列」于「乙」）而「爻」）也。
「全部符合二」者受「甲」而受「乙」而会「判断」而会「列甲」而会「列乙」而
    鉴「列甲」与「列乙」而
        有「罄」与「罄」则「阳」
        或有「缀」于「甲头」于「甲尾」与「缀」于「乙头」于「乙尾」则
            （若（「判断」于「甲头」于「乙头」）
            则（「全部符合二」授以「甲」授以「乙」于「判断」于「甲尾」于「乙尾」）
            否则「阴」 ）
        或有「其他」则「发生事故」于『态射二中的长度不一致！！』也。


「列相等」乃承「甲」而化（化「甲」而化「甲」而「爻」）而化（「列」于「甲」）而化（「列」于「甲」）而「爻」也。
「列相等」者受「甲」而会「比较」而会「列甲」而会「列乙」而
    若（「不等于」于（「长度」授以「甲」于「列甲」）于（「长度」授以「甲」于「列乙」））
    则（「阴」）
    否则（「全部符合二」授以「甲」授以「甲」于「比较」于「列甲」于「列乙」）也。



「整数范围」乃化「整数」而化「整数」而「列」于「整数」也。
「整数范围」者会「始」而会「止」而
    若「或者」于（「大于」于「始」于「止」）于（「等」于「始」于「止」）
    则「罄」
    否则「缀」于「始」于（「整数范围」于（「加」于「始」于「一」）于「止」）也。

「：list map_i：」
「态射序号」乃（承「甲」而承「乙」而化（化「整数」而化「甲」而「乙」）而化（「列」于「甲」）而「列」于「乙」）也。
「态射序号」者受「甲」而受「乙」而会「射」而会「列」而（「态射二」授以「整数」授以「乙」授以「甲」于（「射」）于（「整数范围」于「零」于（「长度」授以「甲」于「列」））于「列」）也。

「滤出可有」乃承「甲」而化（「列」于（「或可有」于「甲」））而「列」于「甲」也。
「滤出可有」者会「列」而鉴「列」而
    有「罄」则「罄」
    或有「缀」于（「可有」于「素」）于「尾」则「缀」于「素」于（「滤出可有」于「尾」）
    或有「缀」于「可无」于「尾」则（「滤出可有」于「尾」）也。


「： 注 list filter_map。 ：」
「滤态射」乃（承「甲」而承「乙」而化（化「甲」而（「或可有」于「乙」））而化（「列」于「甲」）而「列」于「乙」）也。
「滤态射」者受「甲」而受「乙」而会「射」而会「列」而「滤出可有」授以「乙」于（「态射」于「列」于「射」）也。

「滤态射二」乃（承「甲」而承「乙」而承「丙」而化（化「甲」而化「丙」而（「或可有」于「乙」））而化（「列」于「甲」）而化（「列」于「丙」）而「列」于「乙」）也。
「滤态射二」者受「甲」而受「乙」而受「丙」而会「射」而会「列甲」而会「列丙」而「滤出可有」授以「乙」于（「态射二」授以「甲」授以（「或可有」于「乙」）授以「丙」于「射」于「列甲」于「列丙」）也。


「：list filter_map i：」
「滤态射序号」乃承「甲」而承「乙」而化（化「整数」而化「甲」而（「或可有」于「乙」））而化（「列」于「甲」）而「列」于「乙」也。
「滤态射序号」者受「甲」而受「乙」而会「射」而会「列」而「滤出可有」授以「乙」于（「态射序号」授以「甲」授以（「或可有」于「乙」）于「射」于「列」）也。


「：List subset：」
「是子集」乃承「甲」而化（化「甲」而化「甲」而「爻」）而化（「列」于「甲」）而化（「列」于「甲」）而「爻」也。
「是子集」者受「甲」而会「等」而会「子」而会「父」而
    「以当前续延调用」于（会「延」而
        （（「态射」授以「甲」授以「爻」于「子」于（会「子元素」而
            若（「非」于（「存在吗」授以「甲」于（会「父元素」而「等」于「父元素」于「子元素」）于「父」））
            则「延」于「阴」否则「阳」
        ））；「阳」）
    ）也。

「：List equal modulo reordering：」
「互为子集」乃承「甲」而化（化「甲」而化「甲」而「爻」）而化（「列」于「甲」）而化（「列」于「甲」）而「爻」也。
「互为子集」者受「甲」而会「等」而会「子」而会「父」而
    「且」于（「是子集」授以「甲」于「等」于「子」于「父」）于（「是子集」授以「甲」于「等」于「父」于「子」）也。



「数出现次数」乃承「甲」而化（化「甲」而「爻」）而化（「列」于「甲」）而「整数」也。
「数出现次数」者受「甲」而会「谓词」而会「甲列」而「长度」授以「甲」于（「滤」授以「甲」于「谓词」于「甲列」）也。



「：用元素分隔，返回的列是原列的子列，且子列之间会间隔一个分隔符
    例：按一分隔二、三、一、二，得到二三段和二段。
    例：若输入首尾都是分隔符，结果首尾会含空段。
：」
「元素分隔」乃承「甲」而化（化「甲」而「爻」）而化（「列」于「甲」）而「列」于（「列」于「甲」）也。
「元素分隔」者受「甲」而会「谓词」而会「输入列」而
    鉴「输入列」而
        有「罄」则「罄」
        或有（「缀」于「头」于「尾」）则
        （递归虑「处理余下」其化（「列」于「甲」）而化（「列」于「甲」）而化（「列」于（「列」于「甲」））而（「列」于（「列」于「甲」））者
            会「剩余」而会「当前未完成」而会「已有」而
                鉴「剩余」而有
                    「罄」则（「附加」于「已有」于（（「列」【「当前未完成」】）））
                    或有（「缀」于「剩头」于「剩尾」）则（
                        若「谓词」于「剩头」
                        则（「处理余下」于「剩尾」于「罄」于（「附加」于「已有」于（（「列」【「当前未完成」】））））
                        否则（「处理余下」于「剩尾」于（「附加」于「当前未完成」于（（「列」【「剩头」】）））于（「已有」））
                    ）
        而
            （
            若「谓词」于「头」
            则（「处理余下」于「尾」于「罄」于（（「列」【「罄」】）））
            否则（「处理余下」于「尾」于（（「列」【「头」】））于「罄」）
        ）
        ）
        也。
    


「：列减 A B = A \ B = {x ∈ A | x ∉ B}：」
「列减」乃承「甲」而化（化「甲」而化「甲」而「爻」）「：相等比较：」而化（「列」于「甲」）而化（「列」于「甲」）而「列」于「甲」也。
「列减」者受「甲」而会「相等」而会「被减」而会「乙列」而
    「滤」授以「甲」于（会「甲项」而「非」于（「存在吗」授以「甲」于（会「乙项」而（「相等」于「乙项」于「甲项」））于「乙列」））于「被减」也。

「查找元素序数」乃承「甲」而化（化「甲」而化「甲」而「爻」）「：相等比较：」而化「甲」而化（「列」于「甲」）而「或可有」于「整数」也。
「查找元素序数」者受「甲」而会「相等」而会「搜索值」而会「待搜索」而
    鉴「待搜索」而
        有「罄」则「可无」
        或有（「缀」于「头」于「尾」）则
            （若「相等」于「头」于「搜索值」
            则（「可有」于「零」）
            否则（鉴（「查找元素序数」授以「甲」于「相等」于「搜索值」于「尾」）而
                    有「可无」则「可无」
                    或有（「可有」于「序数」）则（「可有」于（「加」于「序数」于「一」））
            ））
            也。

「查找元素序数条件」乃承「甲」而化（化「甲」而「爻」）「：相等比较：」而化（「列」于「甲」）而「或可有」于「整数」也。
「查找元素序数条件」者受「甲」而会「条件」而会「待搜索」而
    鉴「待搜索」而
        有「罄」则「可无」
        或有（「缀」于「头」于「尾」）则
            （若「条件」于「头」
            则（「可有」于「零」）
            否则（鉴（「查找元素序数条件」授以「甲」于「条件」于「尾」）而
                    有「可无」则「可无」
                    或有（「可有」于「序数」）则（「可有」于（「加」于「序数」于「一」））
            ））
            也。

「找到元素序数」乃承「甲」而化「字符串」而化（化「甲」而化「甲」而「爻」）「：相等比较：」而化「甲」而化（「列」于「甲」）而「整数」也。
「找到元素序数」者受「甲」而会「报错信息」而会「相等」而会「搜索值」而会「待搜索」而
    鉴「查找元素序数」授以「甲」于「相等」于「搜索值」于「待搜索」而
        有（「可有」于「序数」）则「序数」
        或有「可无」则「发生事故」于（
        （「报错信息」））
            也。

「列查找替换」乃承「甲」而化（化「甲」而化「甲」而「爻」）「：相等比较：」
                而化（「列」于「甲」）「：原先列：」
                而化（「列」于「甲」）「：待查找列：」
                而化（「列」于「甲」）「：替换后列：」
                而「列」于「甲」也。
「列查找替换」者受「甲」而会「等」而会「原先」而会「查找值」而会「替换后」而
    鉴「原先」而
        有「罄」则「罄」
        或有（「缀」于「头」于「尾」）则
            （若「以起否」授以「甲」于「等」于「查找值」于「原先」
            则（「附加」授以「甲」于「替换后」于（「列查找替换」授以「甲」于「等」于（「放」授以「甲」于（「长度」授以「甲」于「查找值」）于「原先」）于「查找值」于「替换后」））
            否则（「缀」于「头」于（「列查找替换」授以「甲」于「等」于「尾」于「查找值」于「替换后」））
            ）也。


「：TODO：」
「条件分类」乃承「甲」而化（「列」于「甲」）而化（化「甲」而「爻」）而（（「列」于「甲」）合（「列」于「甲」））也。
「条件分类」者受「甲」而会「待分类」而会「条件」而
    鉴「待分类」而
        有「罄」则「罄」与「罄」
        或有（「缀」于「头」于「尾」）则
            （若「条件」于「头」
                则（
                    虑「递归结果」者（「条件分类」授以「甲」于「尾」于「条件」）而
                    （「缀」于「头」于（「递归结果」中「零」））与（「递归结果」中「一」）
                ）
                否则（
                    虑「递归结果」者（「条件分类」授以「甲」于「尾」于「条件」）而
                    （（「递归结果」中「零」））与（「缀」于「头」于（「递归结果」中「一」））
                ）
            ）也。

「列引用前衔」乃承「甲」而化「引用类」于（「列」于「甲」）而化「甲」而「有」也。
「列引用前衔」者受「甲」而会「列引用」而会「新元素」而
    「写引用」授以（「列」于「甲」）于「列引用」于（「缀」于「新元素」于（「读引用」授以（「列」于「甲」）于「列引用」））也。

「以分隔符合并列」乃承「甲」而化「甲」而化（「列」于「甲」）而「列」于「甲」也。
「以分隔符合并列」者受「甲」而会「分隔符」而会「列」而
    鉴「列」而
    有「罄」则「罄」
    或有（「列」【「元素」】）则（「列」【「元素」】）
    或有「缀」于「元素」于「尾」则「缀」于「元素」于（「缀」于「分隔符」于（「以分隔符合并列」授以「甲」于「分隔符」于「尾」））
    也。

「从右折叠带序数」乃承「甲」而承「乙」而化「整数」而化（化「整数」而化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从右折叠带序数」者受「甲」而受「乙」而会「当前数」而会
    「组合」而会「缺省」而（会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
            （
                「组合」于「当前数」于「头」于（「从右折叠带序数」授以「甲」授以「乙」于（「加」于「当前数」于「一」）于「组合」于「缺省」于（「尾」））
            ）））也。

「从左折叠带序数」乃承「甲」而承「乙」而化「整数」而化（化「整数」而化「甲」而化「乙」而「乙」）而化「乙」而化（「列」于「甲」）而「乙」也。
「从左折叠带序数」者受「甲」而受「乙」而会「当前数」而会
    「组合」而会「缺省」而会「甲列」而（鉴「甲列」而
        有「罄」则「缺省」
        或有「缀」于「头」于「尾」则
            （
                「从左折叠带序数」授以「甲」授以「乙」于（「加」于「当前数」于「一」）于「组合」于（「组合」于「当前数」于「头」于「缺省」）于「尾」
            ））也。
 
