| "\\Set" { SET }
| "\\Prop" { PROP }
| "\\Type" { TYPE }
+ | "\\CProp" { CPROP }
| ident { ID (unquote (L.lexeme lexbuf)) }
| conuri { CONURI
(U.uri_of_string ("cic:" ^ (unquote (L.lexeme lexbuf)))) }
| "\\pi" { PROD }
| "\\forall" { PROD }
| "\\eqt" { EQT }
+ | "\\neqt" { NEQT }
| ':' { COLON }
| '.' { DOT }
| "\\to" { ARROW }