Module `Jkind.Layout`

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

module Const : sig ... end

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

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

module Debug_printers : sig ... end

Module Jkind.Layout