package datalog

  1. Overview
  2. Docs
type token =
  1. | LEFT_PARENTHESIS
  2. | RIGHT_PARENTHESIS
  3. | DOT
  4. | IF
  5. | NOT
  6. | COMMA
  7. | EOI
  8. | SINGLE_QUOTED of string
  9. | LOWER_WORD of string
  10. | UPPER_WORD of string
  11. | 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_query : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> BottomUpAst.query
OCaml

Innovation. Community. Security.