Module `Jkind.Desc`

type 'd t = (Sort.Flat.t Layout.t, 'd) Types.base_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 of_const : 'd Const.t -> 'd t

val format : Env.t -> Format_doc.formatter -> 'd t -> unit

Module Jkind.Desc

Module `Jkind.Desc`