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

---

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