chickadee » static-modules » make-mod-syntax

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