Module Bastet.Int

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