You can search for identifiers within the package.
in-package search v0.2.0
acgtk.datalogLib
DatalogLib.Datalog_AbstractSyntax
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