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 term : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logic.Default.termval rule : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Logic.Default.ruleval parse_file :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
Logic.Default.rule list