Module Jkind.Desc
type 'd t =
(Ocaml_typing.Jkind.Sort.Flat.t Ocaml_typing.Jkind.Layout.t, 'd)
Ocaml_typing.Types.layout_and_axesThe 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 optionval format : Stdlib.Format.formatter -> 'd Ocaml_typing.Jkind.Desc.t -> unit