package acgtk

  1. Overview
  2. Docs
package acgtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
module PredIdMap : Stdlib.Map.S with type key = pred_id
module PredIds : Stdlib.Set.S with type elt = pred_id
type predicate = {
  1. p_id : pred_id;
  2. arity : int;
  3. arguments : term list;
    (*

    It is assumed that the size of the list is the arity

    *)
}
val to_string : predicate -> ?position:int -> PredIdTable.table -> Datalog_AbstractSyntax.ConstGen.Table.table -> string
val compare : predicate -> predicate -> int
val fake_pred_id : pred_id