Up – Package index » acgtk » Library acgtkLib.datalogLib » DatalogLib » Datalog » Make » Predicate » Premise

Module `Predicate.Premise`Source

Sourcetype t = ASPred.predicate list * int * int

val to_string : 
  t ->
  ASPred.PredIdTable.table ->
  Datalog_AbstractSyntax.ConstGen.Table.table ->
  string