Module Flambda2_numbers.Numeric_types
Modules about numbers, some of which satisfy Container_types.S.
Warning: this module is unstable and part of compiler-libs.
module Int : sig ... endmodule Int8 : sig ... endmodule Int16 : sig ... endmodule Int32 : sig ... endmodule Int64 : sig ... endmodule type IEEE_semantics = sig ... endmodule type Float_by_bit_pattern = sig ... endFloating point numbers whose comparison and equality relations are the usual Int64/Int32 relations on the bit patterns of the floats. This in particular means that different representations of NaN will be distinguished, as will the two signed zeros.
module Float_by_bit_pattern :
Flambda2_numbers.Numeric_types.Float_by_bit_pattern with type bits = int64Floating point numbers whose comparison and equality relations are the usual Int64/Int32 relations on the bit patterns of the floats. This in particular means that different representations of NaN will be distinguished, as will the two signed zeros.
module Float32_by_bit_pattern :
Flambda2_numbers.Numeric_types.Float_by_bit_pattern with type bits = int32Floating point numbers whose comparison and equality relations are the usual Int64/Int32 relations on the bit patterns of the floats. This in particular means that different representations of NaN will be distinguished, as will the two signed zeros.