module TopDownParser: sig
.. end
type
token =
| |
LEFT_PARENTHESIS |
| |
RIGHT_PARENTHESIS |
| |
DOT |
| |
COLON |
| |
IF |
| |
NOT |
| |
COMMA |
| |
AGGR_EQUAL |
| |
EOI |
| |
SINGLE_QUOTED of string |
| |
DOUBLE_QUOTED of string |
| |
LOWER_WORD of string |
| |
UPPER_WORD of string |
| |
INT of string |
| |
OPERATOR of string |
val parse_term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> TopDownAst.term
val parse_literal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> TopDownAst.literal
val parse_literals : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> TopDownAst.literal list
val parse_query : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> TopDownAst.term list * TopDownAst.literal list
val parse_clause : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> TopDownAst.clause
val parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> TopDownAst.file