Module `FloatDomain`

Abstract domains for C floating-point numbers.

exception ArithmeticOnFloatBot of string

val reset_lazy : unit -> unit

module type FloatArith = sig ... end

module type FloatDomainBase = sig ... end

module F64Interval : FloatDomainBase

module F32Interval : FloatDomainBase

module type FloatDomain = sig ... end

module FloatDomTupleImpl : FloatDomain