package farith

You can search for identifiers within the package.

in-package search v0.2.0

farith
- Library farith
  - Farith
    
    Mode
    
    Classify
    
    F
    
    I
- Sources
  - farith
    
    Assert.ml
    
    BinInt.ml
    
    BinNums.ml
    
    BinPos.ml
    
    BinPosDef.ml
    
    Binary.ml
    
    BinarySingleNaN.ml
    
    Bits.ml
    
    Bool.ml
    
    Datatypes.ml
    
    Defs.ml
    
    FloatClass.ml
    
    GenericFloat.ml
    
    Interval.ml
    
    Op.ml
    
    Operations.ml
    
    Qextended.ml
    
    Round.ml
    
    SpecFloat.ml
    
    Specif.ml
    
    Utils.ml
    
    Version.ml
    
    Zaux.ml
    
    Zbool.ml
    
    Zpower.ml
    
    farith.ml
    
    farith_Big.ml
    
    farith__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Farith`Source

Float Arithmetics (based on Flocq extraction)

Sourcemodule Mode : sig ... end

Supported rounding modes

Sourcemodule Classify : sig ... end

Type used for classifying floating points

Sourcemodule F : sig ... end

Sourcemodule I : sig ... end

Sourceval flocq_version : Z.t