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