package acgtk

You can search for identifiers within the package.

in-package search v0.2.0

Abstract Categorial Grammar development toolkit

Install

sha256=2743321ae4cc97400856eb503a876cbcbd08435ebc750276399a97481d001d41

md5=04c1e14f98e2c8fd966ef7ef30b38323

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