Module `Jkind.Layout`

type 'sort t = 'sort Ocaml_typing.Jkind_types.Layout.t =

| Sort of 'sort
| Product of 'sort Ocaml_typing.Jkind.Layout.t list
| Any

module Const : sig ... end

val of_const : 
  Ocaml_typing.Jkind.Layout.Const.t ->
  Ocaml_typing.Jkind.Sort.t Ocaml_typing.Jkind.Layout.t

val sub : 
  level:int ->
  Ocaml_typing.Jkind.Sort.t Ocaml_typing.Jkind.Layout.t ->
  Ocaml_typing.Jkind.Sort.t Ocaml_typing.Jkind.Layout.t ->
  Ocaml_typing.Jkind.Sub_result.t

module Debug_printers : sig ... end

Module Jkind.Layout

Module `Jkind.Layout`