Module `Jkind.Desc`

type 'd t = (Jkind.Sort.Flat.t Jkind.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 Jkind.Desc.t -> 'd Jkind.Const.t option

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

Module Jkind.Desc

Module `Jkind.Desc`