Module Lang.KindSource
type t = | Default| Abbreviation of Paths.Fragment.Type.t| Mod of t * string list| With of t * TypeExpr.t * Modalities.t| Kind_of of TypeExpr.t| Product of t list
Lang.KindSourcetype t = | Default| Abbreviation of Paths.Fragment.Type.t| Mod of t * string list| With of t * TypeExpr.t * Modalities.t| Kind_of of TypeExpr.t| Product of t list