package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type point = float
type interval = float t
type t
val empty : t
val singleton : interval -> t
val add : interval -> t -> t
val remove : interval -> t -> t
val is_empty : t -> bool
val cardinal : t -> int
val mem : interval -> t -> bool
val min : t -> point option
val max : t -> point option
val is_point : t -> point option
val is_interval : t -> interval option
val belongs : point -> t -> interval list
val intersects : interval -> t -> interval list
val map : (interval -> interval) -> t -> t
val iter : (interval -> unit) -> t -> unit
val fold : (interval -> 'a -> 'a) -> t -> 'a -> 'a
val union : t -> t -> t
val inter : t -> t -> t
val print : (point -> string) -> t -> string