Prelude.Interval
Interval arithmetic over a type T: ARITH.
T: ARITH
module Make (T : ARITH) : sig ... end
module Int : sig ... end
Integer intervals.