Module Bastet__Float.Additive
module Magma : Bastet.Interface.MAGMA with type t = floatmodule Medial_Magma : Bastet.Interface.MEDIAL_MAGMA with type t = floatmodule Semigroup : Bastet.Interface.SEMIGROUP with type t = floatmodule Monoid : Bastet.Interface.MONOID with type t = floatmodule Quasigroup : Bastet.Interface.QUASIGROUP with type t = floatmodule Medial_Quasigroup : Bastet.Interface.MEDIAL_QUASIGROUP with type t = floatmodule Loop : Bastet.Interface.LOOP with type t = floatmodule Group : Bastet.Interface.GROUP with type t = floatmodule Abelian_Group : Bastet.Interface.ABELIAN_GROUP with type t = float