sig
  type number = num
  type t = Variable.t * Variable.t * number
  val equal : t -> t -> bool
  val hash : t -> int
end

---

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