Module `Test.Float`

module M : sig ... end

module Additive : sig ... end

module Multiplicative : sig ... end

module Subtractive : sig ... end

module Divisive : sig ... end

module Eq : sig ... end

module Ord : sig ... end

module Bounded : sig ... end

module Semiring : sig ... end

module Ring : sig ... end

module Commutative_Ring : sig ... end

module Division_Ring : sig ... end

module Euclidean_Ring : sig ... end

module Field : sig ... end