Module Synext.Meta

module Typ : sig ... end

External meta-types.

module Object : sig ... end

External meta-objects.

module Pattern : sig ... end

External meta-object patterns.

module Context : sig ... end

External meta-contexts.

module Schema : sig ... end

External context schemas.