module Nat: T with type t = int
Natural numbers as identifiers.
type
An abstract type of identifiers.
val invalid : t
A distinguished invalid identifier, useful for dummy values.
val is_valid : t -> bool
val equal : t -> t -> bool
Are two identifiers equal?
- Ensure
equal x y = (x = y)
val hash : t -> int
hash x is the hash code for
x
val compare : t -> t -> int
compare x y is an arbitrary order for
x and
y
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.