Module Bastet__Float
module Additive : sig ... endmodule Multiplicative : sig ... endmodule Subtractive : sig ... endmodule Divisive : sig ... endmodule Eq : Bastet.Interface.EQ with type t = floatmodule Ord : Bastet.Interface.ORD with type t = floatmodule Bounded : Bastet.Interface.BOUNDED with type t = floatmodule Show : Bastet.Interface.SHOW with type t = floatmodule Semiring : Bastet.Interface.SEMIRING with type t = floatmodule Ring : Bastet.Interface.RING with type t = floatmodule Commutative_Ring : Bastet.Interface.COMMUTATIVE_RING with type t = floatmodule Division_Ring : Bastet.Interface.DIVISION_RING with type t = floatmodule Euclidean_Ring : Bastet.Interface.EUCLIDEAN_RING with type t = floatmodule Field : Bastet.Interface.FIELD with type t = floatmodule Infix : sig ... end