- make-mod-typing core-syntax core-typingprocedure
This procedure creates the structure describing module language type checking. core-syntax is an object created by make-core-syntax, and core-typing is an object created by make-core-typing. This procedure returns multiple values with the following meaning:
- check-modtype: checks the well-formedness of a module type
- check-signature: checks the well-formedness of a signature
- type-modterm: infers and returns the type of a module term
- type-moddef: infers and returns the type of a module definition (sequence of definitions)
- type-definition: infers and returns the type of a definition (inside a module or at toplevel)