package acgtk

  1. Overview
  2. Docs
type term =
  1. | Var of VarGen.id
  2. | Const of ConstGen.id
type pred_id
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 -> ConstGen.Table.table -> string
val compare : predicate -> predicate -> int
val fake_pred_id : pred_id