Module Id.Nat


module Nat: T  with type t = int
Natural numbers as identifiers.

type t 
An abstract type of identifiers.
val invalid : t
A distinguished invalid identifier, useful for dummy values.
val is_valid : t -> bool
Is an identifier valid?


val equal : t -> t -> bool
Are two identifiers equal?


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