Module Term.ConstSource

A module for constant symbols that occur in terms.

The type of constant symbols that can occur in terms

Sourceval hash : t -> int

A hash function for term constants, should be suitable to create hashtables.

Sourceval equal : t -> t -> bool

An equality function on term constants. Should be compatible with the hash function.

Sourceval compare : t -> t -> int

Comparison function on variables.

Sourceval arity : t -> int * int

Returns the arity of a term constant.

Sourceval mk : string -> ty_var list -> ty list -> ty -> t

Create a polymorphic constant symbol.

Sourceval tag : t -> 'a tag -> 'a -> unit

Tag a constant.

Sourceval get_tag : t -> 'a tag -> 'a list

Return the list of values associated to the tag.

Sourceval get_tag_last : t -> 'a tag -> 'a option

Return the last value associated to the tag (if any).