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