Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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