Module `Bastet__Int`

module Additive : sig ... end

module Multiplicative : sig ... end

module Subtractive : sig ... end

module Divisive : sig ... end

module Eq : Bastet.Interface.EQ with type t = int

module Ord : Bastet.Interface.ORD with type t = int

module Bounded : Bastet.Interface.BOUNDED with type t = int

module Show : Bastet.Interface.SHOW with type t = int

module Semiring : Bastet.Interface.SEMIRING with type t = int

module Ring : Bastet.Interface.RING with type t = int

module Commutative_Ring : Bastet.Interface.COMMUTATIVE_RING with type t = int

module Euclidean_Ring : Bastet.Interface.EUCLIDEAN_RING with type t = int

module Infix : sig ... end