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