Native_lexer.Parser
val file : Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.file
val expr : Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.lexpr
val trigger : Stdlib.Lexing.lexbuf -> AltErgoLib.Parsed.lexpr list * bool