Desc (merlin-lib.merlin-lib.ocaml_typing.Ocaml

type 'd t = (Sort.Flat.t Layout.t, 'd) Types.layout_and_axes

The description of a jkind, used as a return type from get. This description has no sort variables, but it might have with-types and thus needs the allowance machinery.

val get_const : 'd t -> 'd Const.t option

val format : Format.formatter -> 'd t -> unit