Modules

Structs

  • All operations in the language take a NormalForm as an import and return a NormalForm.

Traits

Functions