acgtk.datalogLib
Predicate.Premise
acgtk.acgData
acgtk.containers
acgtk.dump
acgtk.grammars
acgtk.logic
acgtk.magicRewriting
acgtk.scripting
acgtk.svg
acgtk.svg_cairo
acgtk.svg_dummy
acgtk.utilsLib
type t = ASPred.predicate list * int * int
val pp_premises : ?with_id:bool -> ASPred.PredIdTable.table -> Datalog_AbstractSyntax.ConstGen.Table.table -> Format.formatter -> t -> unit