Module Interval.FloatSource

Sourcetype point = float
Sourcetype interval = float t
Sourcetype t
Sourceval empty : t
Sourceval singleton : interval -> t
Sourceval add : interval -> t -> t
Sourceval remove : interval -> t -> t
Sourceval is_empty : t -> bool
Sourceval cardinal : t -> int
Sourceval mem : interval -> t -> bool
Sourceval min : t -> point option
Sourceval max : t -> point option
Sourceval is_point : t -> point option
Sourceval is_interval : t -> interval option
Sourceval belongs : point -> t -> interval list
Sourceval intersects : interval -> t -> interval list
Sourceval map : (interval -> interval) -> t -> t
Sourceval iter : (interval -> unit) -> t -> unit
Sourceval fold : (interval -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval print : (point -> string) -> t -> string