Ordered型
縮約規則
,
弱化規則
,
転置規則
を制限することで、変数の使用を確実に一回のみに制限し、さらに変数の順序についての制限も導入
https://en.wikipedia.org/wiki/Substructural_type_system#Ordered_type_system
https://keigoi.hatenadiary.org/entry/20121224/ordered_linear_type_in_ocaml