Module Jkind.Layout

type 'sort t = 'sort Jkind_types.Layout.t =
  1. | Sort of 'sort
  2. | Product of 'sort t list
  3. | Any
module Const : sig ... end
val of_const : Const.t -> Sort.t t
val sub : level:int -> Sort.t t -> Sort.t t -> Sub_result.t
module Debug_printers : sig ... end