On this page:
typed-in
opaque-type-in
:

6 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. A : can also be used for a type declaration within a definition sequence; see Definitions.