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