寻观「标准库」之「语言核心」之「内建类型」之书。


「：
现代汉语：三种大小比较结果的类型：大于关系、小于关系、等于关系。
文言：大小之类，分大于、小于、等于三者。
七言绝句：
两数相衡列三门，
高低齐处各分存。
未凭阴阳含混说，
三般关系各寻根。
：」
「大小」立「元类型」也。
「：
现代汉语：大小类型的无参数构造项，表示比较结果为大于。
文言：大小之一项，表大于。
七言绝句：
前峰高出后峰头，
独向青云上一楼。
一记题明超过处，
不将齐顶此中收。
：」
「大于关系」立「大小」也。
「：
现代汉语：大小类型的无参数构造项，表示比较结果为小于。
文言：大小之一项，表小于。
七言绝句：
前山低在后山旁，
一记题明下此方。
未与高峰争并立，
自将少处写成章。
：」
「小于关系」立「大小」也。
「：
现代汉语：大小类型的无参数构造项，表示比较结果为相等。
文言：大小之一项，表相等。
七言绝句：
两峰齐顶映长空，
一线平来高下同。
不向两端分胜负，
只留等记在衡中。
：」
「等于关系」立「大小」也。
