- make-core-syntax term? valtype? deftype? kind? make-valtype make-deftype subst-valtype subst-deftype subst-kindprocedure
This procedure creates the structure describing base language syntax. The meaning of the fields is as follows:
- term?: predicate for value expressions
- valtype?: predicate for type expressions
- deftype?: predicate for type definitions
- kind?: predicate for the kinds that a type definition can have
- make-valtype: constructor for type expressions
- make-deftype: constructor for type definitions
- subst-valtype: substitution function for type expressions
- subst-deftype: substitution function for type definitions
- subst-kind: substitution function for kinds