2.11. User Defined Value Types#

(* Introduced in 0.8.8 *)
UserDefinedValueTypeDefinition = (* type_keyword: *) TYPE_KEYWORD
                                 (* name: *) IDENTIFIER
                                 (* is_keyword: *) IS_KEYWORD
                                 (* value_type: *) ElementaryType
                                 (* semicolon: *) SEMICOLON;