Module `Jkind.Desc`Source

Sourcetype '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.

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

Sourceval of_const : 'd Const.t -> 'd t

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

Module Jkind.DescSource

Module `Jkind.Desc`Source