Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package alt-ergo-parsers
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type token = | XOR| WITH| VOID| UNIT| TYPE| TRUE| TIMES| THEORY| THEN| STRING of string| SLASH| SHARP| RIGHTSQ| RIGHTPAR| RIGHTBR| RIGHTARROW| REWRITING| REAL| QUOTE| QM_ID of string| QM| PV| PROP| PRED| POWDOT| POW| PLUS| PERCENT| OR| OF| NUM of Num.num| NOTEQ| NOT| MINUS| MATCH| MAPS_TO| LT| LRARROW| LOGIC| LET| LEFTSQ| LEFTPAR| LEFTBR| LEFTARROW| LE| INTEGER of string| INT| IN| IF| ID of string| HAT| GT| GOAL| GE| FUNC| FORALL| FALSE| EXTENDS| EXISTS| EQUAL| EOF| END| ELSE| DOT| DISTINCT| CUT| COMMA| COLON| CHECK| CASESPLIT| BOOL| BITV| BAR| AXIOM| AT| AND| AC
val trigger_parser :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
AltErgoLib.Parsed.lexpr list * boolval lexpr_parser :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
AltErgoLib.Parsed.lexprval file_parser :
(Stdlib.Lexing.lexbuf -> token) ->
Stdlib.Lexing.lexbuf ->
AltErgoLib.Parsed.file