package acgtk

  1. Overview
  2. Docs
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 compare : predicate -> predicate -> int
val fake_pred_id : pred_id
OCaml

Innovation. Community. Security.