jon.recoil.org

Module Jkind.Layout

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