On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package interval_crlibm
Interval library for OCaml (crlibm version).
This library has the important property that the functions are proved correct (while Interval_intel mostly uses the processor implementation, which is sometimes flawed). It is sometimes faster, sometimes slightly slower than Interval_intel. Some additional functions are also available, thanks to CRlibm.
It is recommended to open this module.
Interval sub-module
module I : sig ... endInterval operations. Locally open this module — using e.g. I.(...) — to redefine classical arithmetic operators for interval arithmetic.
Directed rounding
module type DIRECTED = sig ... endmodule Low = RoundDownmodule High = RoundUpOn This Page