package orsetto

  1. Overview
  2. Docs
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type

An floating point number map using disjoint intervals.

val nil : 'a t
val empty : 'a t -> bool
val of_seq : (Cf_bsearch.Float_basis.t t * 'a) Seq.t -> 'a t
val member : Cf_bsearch.Float_basis.t -> 'a t -> bool
val require : Cf_bsearch.Float_basis.t -> 'a t -> 'a
module Unsafe : sig ... end