Module `Test.Int`

Parameters

T : TEST
Q : QUICKCHECK with type t = T.test
A : ARBITRARY with type t = int and type 'a arbitrary = 'a Q.arbitrary

Signature

module M : sig ... end

module Additive : sig ... end

module Multiplicative : sig ... end

module Subtractive : sig ... end

module Eq : sig ... end

module Ord : sig ... end

module Bounded : sig ... end

module Semiring : sig ... end

module Ring : sig ... end

module Commutative_Ring : sig ... end

module Euclidean_Ring : sig ... end

val suites : T.test T.suite list