Module BottomUpParser

module BottomUpParser: sig .. end

type token = 
| LEFT_PARENTHESIS
| RIGHT_PARENTHESIS
| DOT
| IF
| NOT
| COMMA
| EOI
| SINGLE_QUOTED of string
| LOWER_WORD of string
| UPPER_WORD of string
| INT of string
val parse_literal : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> BottomUpAst.literal
val parse_literals : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> BottomUpAst.literal list
val parse_clause : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> BottomUpAst.clause
val parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> BottomUpAst.file
val parse_query : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> BottomUpAst.query