Module type `Parsers.PARSER_INTERFACE`

The interface that should be provided by every lexer/parser of an input language

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