- make-mod-syntax coreprocedure
This procedure creates the structure describing module language syntax. core is an object created by make-core-syntax. This procedure returns multiple values with the following meaning:
- modtype? Signature Functorty: predicate and constructors for module type definitions
- modspec? Value_sig Type_sig Module_sig: predicate and constructors for module type expressions
- modterm? Modid Structure Functor Mapply Constraint: module term constructors
- moddef? Value_def Type_def Module_def: predicate and constructor for module definitions
- subst-modtype subst-modspec subst-typedecl: substitution procedures