kind
-
Kind
3Typechecking based on kinds
-
Kind
3Typechecking based on kinds
-
Kind::Subset::Parametric
1Support for parametric subsets
-
Kind::Subset::Parametric
1Support for parametric subsets