Module Term.Term_compared

module Term_compared: Util.ComparedType  with type t = term

Terms augmented with comparison functions.

type t

Abstract type of comparable values.

val equal : t -> t -> bool

Are two values equal?

val hash : t -> int

Hash code of a value.

val compare : t -> t -> int

An arbitrary order on values. compare x y is < 0, = 0, or > 0 when x precedes y, is equal to y, or follows y in the order.

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.