Module TopDownParser

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