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.