package datalog

  1. Overview
  2. Docs
package datalog
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 -> AST.literal
val parse_literals : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.literal list
val parse_clause : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.clause
val parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.file
val parse_query : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> AST.query