#型理論

継承を表す記号 `<` について