Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package datalog
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val parse_literal : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.literalval parse_literals :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Ast.literal listval parse_clause : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.clauseval parse_file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast.file