You can search for identifiers within the package.
in-package search v0.2.0
A module for constant symbols that occur in terms.
type t
The type of constant symbols that can occur in terms
val compare : t -> t -> int
Comparison function on constant symbols.
val arity : t -> int * int
Returns the arity of a term constant.
val mk : path -> ty -> t
Create a constant symbol.
val set_tag : t -> 'a tag -> 'a -> unit
Tag a constant.
val add_tag : t -> 'a list tag -> 'a -> unit
Add a value to the list of values bound to a tag.