Module Float.Multiplicative
module Semigroup : sig ... endmodule Quasigroup : sig ... endmodule Monoid : sig ... endmodule Fold_Map : sig ... endFloat.Multiplicativemodule Semigroup : sig ... endmodule Quasigroup : sig ... endmodule Monoid : sig ... endmodule Fold_Map : sig ... end