package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Module `AbstractSyntax.Predicate`Source

Sourcetype term =

Sourcetype pred_id

Sourcemodule PredIdMap : Map.S with type key = pred_id

module PredIdTable : 
  UtilsLib.IdGenerator.CorrespondanceTableTYPE with type identifier = pred_id

Sourcemodule PredIds : Set.S with type elt = pred_id

Sourcetype predicate = {

p_id : pred_id;
arity : int;
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

Sourceval compare : predicate -> predicate -> int

Sourceval fake_pred_id : pred_id