T/type keyword



T <type name>
   String s // type variable
   F (s) // constructor
      .s = s
   F get_s_len() // type function
      R .s.len


T/type subkeywords



T.enum
/
type.enum
is used to declare an enumeration, a distinct type that consists of a set of named constants called the enumerator list.
T.enum TokenCategory
   NAME
   KEYWORD
   CONSTANT
   TEST_CATEGORY = 10
[Enumerators
NAME
,
KEYWORD
and
CONSTANT
have values 0, 1 and 2 respectively.]


T
/
type
also has subkeywords
base
and
interface
, but they are not supported yet.