- make-mod-eval core-syntax core-eval enter-valprocedure
This procedure creates the structure describing module language type checking. core-syntax is an object created by make-core-syntax, and core-eval is a procedure to evalue core syntactic terms. This procedure returns multiple values with the following meaning:
- modval?: predicate for module values
- Structure_v: constructor for a structure of values
- Mclosure_v: constructor for a structure closure
- path-find-val: given a path and value environment, returns the corresponding value, if it exists in the environment
- find-module-val: like path-find-val, but only for modules
- mod-eval: given an evaluation environment and a list of module definitions, evaluates and returns the corresponding value