type token =
  | CHAR of (int)
  | IDENT of (string)
  | LET
  | EQ
  | END_OF_LET
  | RBRACKET
  | PIPE
  | LBRACKET
  | RANGE
  | EOF

val main :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Uni_types.definition list