herdtools7.asllib
Asllib.Diet
An interval set implementation using diets.
module type ELT = sig ... end
module type INTERVAL_SET = sig ... end
module Make (Elt : ELT) : INTERVAL_SET with type elt = Elt.t
module Int : INTERVAL_SET with type elt = int
module Int64 : INTERVAL_SET with type elt = int64
module Z : INTERVAL_SET with type elt = Z.t