acgtk.datalogLib
DatalogLib.Datalog_AbstractSyntax
acgtk.acgData
acgtk.containers
acgtk.dump
acgtk.grammars
acgtk.logic
acgtk.magicRewriting
acgtk.scripting
acgtk.svg
acgtk.svg_cairo
acgtk.svg_dummy
acgtk.utilsLib
module Log : UtilsLib.Xlog.MyLOG
Log is the log module for Datalog_AbstractSyntax
Log
module VarGen : UtilsLib.IdGenerator.IdGen_TYPE
module ConstGen : UtilsLib.IdGenerator.IdGen_TYPE
module RuleIdMap : Map.S with type key = int
These modules are the abstract syntactic representations of predicates and rules
module AbstractSyntax : sig ... end