package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val packed_descr : Structural_descr.pack
val of_float : float -> t

fails on NaNs, but allows infinities.

val to_float : t -> float
val compare : t -> t -> int
val equal : t -> t -> bool

Those functions distinguish -0. and +0.

val pretty : Format.formatter -> t -> unit
val pretty_normal : use_hex:bool -> Format.formatter -> t -> unit
val plus_zero : t
val is_finite : t -> bool

Returns true if the float is a finite number.

val next_float : kind -> float -> float

First double strictly above the argument. Must be called on non-NaN floats. Returns +infty on MAX_FLT. Infinities are left unchanged.

val prev_float : kind -> float -> float

First double strictly below the argument. Must be called on non-NaN floats. Returns -infty on -MAX_FLT. Infinities are left unchanged.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct