type token
= Lexer.token
exception
Error
val pred_eof : (Lexing.lexbuf ‑> token) ‑> Lexing.lexbuf ‑> Syntax.pred
val pol_eof : (Lexing.lexbuf ‑> token) ‑> Lexing.lexbuf ‑> Syntax.policy