sig
  type t = int
  val invalid : t
  val is_valid : t -> bool
  val equal : t -> t -> bool
  val hash : t -> int
  val compare : t -> t -> int
end

---

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