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 SourceForge.net Logo* web site.
*Other names and brands may be claimed as the property of others.