module Parse_ho: sig
.. end
type
token =
| |
XOR |
| |
WILDCARD |
| |
VAL |
| |
UPPER_WORD of string |
| |
RIGHT_PAREN |
| |
RIGHT_BRACKET |
| |
RIGHT_BRACE |
| |
RIGHT_ARROW |
| |
PIPE |
| |
OR |
| |
OPERATOR of string |
| |
NOT |
| |
NEQ |
| |
LOWER_WORD of string |
| |
LEFT_PAREN |
| |
LEFT_BRACKET |
| |
LEFT_BRACE |
| |
LEFT_ARROW |
| |
LAMBDA |
| |
INTERROGATION_WORD of string |
| |
INTEGER of string |
| |
IMPLY |
| |
FORALL_TY |
| |
FORALL |
| |
EXISTS |
| |
EQUIV |
| |
EQ |
| |
EOI |
| |
DOT |
| |
DOLLAR_WORD of string |
| |
DOLLAR_DOLLAR_WORD of string |
| |
COMMA |
| |
COLUMN |
| |
AND |
exception Error
val parse_term : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> Libzipperposition.STerm.t
val parse_decls : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast_ho.t list
val parse_decl : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast_ho.t