1structure type_tokens_dtype =
2struct
3
4  datatype 'a type_token
5      = TypeIdent of string
6      | QTypeIdent of string * string (* thy name * type name *)
7      | TypeSymbol of string
8      | TypeVar of string
9      | Comma
10      | LParen
11      | RParen
12      | LBracket
13      | RBracket
14      | AQ of 'a
15      | Error of 'a base_tokens.base_token
16
17end
18