Module `Jkind.Desc`

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

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

Module Jkind.Desc

Module `Jkind.Desc`