chickadee » static-modules » make-core-syntax

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