Module `Jkind.Layout`Source

Sourcetype 'sort t = 'sort Jkind_types.Layout.t =

| Sort of 'sort * Scannable_axes.t
| Product of 'sort t list
| Any of Scannable_axes.t

Sourcemodule Const : sig ... end

Sourceval sub : Sort.t t -> Sort.t t -> Sub_result.t

Sourcemodule Debug_printers : sig ... end