Module `Synprs.Meta`

The intermediate representation of meta-types, meta-objects and meta-patterns to delay the handling of data-dependent aspects of the grammar.

module Thing : sig ... end

Meta-objects, meta-types, meta-patterns.

module Schema_object : sig ... end

Context schemas.

module Context_object : sig ... end

Meta-contexts.