let regexp ident = (alpha ident_cont*) | ('_' ident_cont+)
let regexp ident' = ((alpha | tex_token) ident_cont'*) | ('_' ident_cont'+)
let regexp paren = [ '(' '[' '{' ')' ']' '}' ]
+let regexp implicit = '?'
let regexp meta = '?' num
let regexp qstring = '"' [^ '"']* '"'
let regexp uri =
| num -> return lexbuf ("NUM", Ulexing.utf8_lexeme lexbuf)
| paren -> return lexbuf ("PAREN", Ulexing.utf8_lexeme lexbuf)
| meta -> return lexbuf ("META", Ulexing.utf8_lexeme lexbuf)
+ | implicit -> return lexbuf ("IMPLICIT", Ulexing.utf8_lexeme lexbuf)
| qstring ->
let lexeme = Ulexing.utf8_lexeme lexbuf in
let s = String.sub lexeme 1 (String.length lexeme - 2) in