val src : Logs.srcval map_bound :
('a -> 'b) ->
'a Intervals_intf.bound ->
'b Intervals_intf.boundmap_bound f b applies f to a finite (open or closed) bound b and does not change an unbounded bound.
This module provides implementations of union-of-intervals over reals and integers.
Polymorphic union type. This allows writing conversion functions between integer and real unions.
module Real :
Intervals_intf.AlgebraicField
with type explanation := Explanation.t
and type value := Q.t
and type 'a union = 'a unionUnion-of-intervals over real numbers.
module Int : sig ... endUnion-of-intervals over integers.
module Legacy : sig ... endThe Legacy module reimplements (most of) the old legacy Intervals module on top of the current implementation to ease the transition.