Module DatalogLib.Datalog_AbstractSyntax

Log is the log module for Datalog_AbstractSyntax

module RuleIdMap : Stdlib.Map.S with type key = int

These modules are the abstract syntactic representations of predicates and rules

module AbstractSyntax : sig ... end