5 Syntactic Literals

syntax
typed-in
syntax
opaque-type-in
syntax
:

Syntactic literals are for use in declarations such as define and require; see define and require for more information.

1	Definitions
2	Expressions
3	Predefined Functions and Constants
4	Types
5	Syntactic Literals
6	Type Checking and Inference
7	Untyped with Typed Syntax