篩型

type-theory
2020-07-20

• いわゆるコントラクトで述語として型に制約をかける, extrinsic (言語外の機能)