Names (alt-ergo-lib.AltErgoLib.Expr.FP.Names)

val zeroF : string

val ae_float : string

val add : string

val sub : string

val mul : string

val div : string

val fma : string

val sqrt : string

val round_to_integral : string

val of_real : string

val abs : string

val neg : string

val min : string

val max : string

val le : string

val lt : string

val eq : string

val is_normal : string

val is_subnormal : string

val is_zero : string

val is_infinite : string

val is_nan : string

val is_negative : string

val is_positive : string

val is_finite : string

val to_real : string

val pow2sb : string

val max_int : string

val max_real : string

val pow2sb_real : string

val half_pow2sb_real : string

val abs_err_rne_denom : string

val abs_err_denom : string