Module `Test.Array`

Arr : ArrayF.ARRAY
T : TEST
Q : QUICKCHECK with type t = T.test
A : ARBITRARY with type t = int array and type 'a arbitrary = 'a Q.arbitrary
AA : ARBITRARY_A with type 'a t = 'a array and type 'a arbitrary = 'a Q.arbitrary

module M : sig ... end

module Functor : sig ... end

module Apply : sig ... end

module Applicative : sig ... end

module Monad : sig ... end

module Alt : sig ... end

module Eq : sig ... end

module Ord : sig ... end

module Invariant : sig ... end