package farith

You can search for identifiers within the package.

in-package search v0.2.0

farith
- Farith
  - Classify
  - F
  - I
  - Mode

Legend:
Library
Module
Module type
Parameter
Class
Class type

Float Arithmetics (based on Flocq extraction)

module Mode : sig ... end

Supported rounding modes

module Classify : sig ... end

Type used for classifying floating points

module F : sig ... end

module I : sig ... end

val flocq_version : Z.t