Module Flambda2_floats
module Float32 : sig ... endIEE754 32-bit floats represented as 32-bit integers. Operations are implemented in C stubs.
Flambda2_floatsmodule Float32 : sig ... endIEE754 32-bit floats represented as 32-bit integers. Operations are implemented in C stubs.