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