sig type t val invalid : Id.T.t val is_valid : Id.T.t -> bool val equal : Id.T.t ->Id.T.t -> bool val hash : Id.T.t -> int val compare : Id.T.t ->Id.T.t -> int end
Hosted by the
* web site.
*Other names and brands may be claimed as the property
of others.