sig
  type token =
      ATOM of Glob_ast.pattern Glob_ast.atom
    | AND
    | OR
    | NOT
    | LPAR
    | RPAR
    | TRUE
    | FALSE
    | EOF
  val token : Lexing.lexbuf -> Glob_lexer.token
end