Module `Bastet.Test`

module type TEST = sig ... end

module type ARBITRARY = sig ... end

module type ARBITRARY_A = sig ... end

module type QUICKCHECK = sig ... end

module Make : functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> sig ... end

module Array : functor (Arr : ArrayF.ARRAY) -> functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> functor (A : ARBITRARY with type t = int array and type 'a arbitrary = 'a Q.arbitrary) -> functor (AA : ARBITRARY_A with type 'a t = 'a array and type 'a arbitrary = 'a Q.arbitrary) -> sig ... end

module Bool : functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> functor (A : ARBITRARY with type t = bool and type 'a arbitrary = 'a Q.arbitrary) -> sig ... end

module Default : functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> sig ... end

module Float : functor (E : Interface.EQ with type t = float) -> functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> functor (A : ARBITRARY with type t = float and type 'a arbitrary = 'a Q.arbitrary) -> sig ... end

module List : functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> functor (A : ARBITRARY with type t = int list and type 'a arbitrary = 'a Q.arbitrary) -> functor (AA : ARBITRARY_A with type 'a t = 'a list and type 'a arbitrary = 'a Q.arbitrary) -> sig ... end

module Int : functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> functor (A : ARBITRARY with type t = int and type 'a arbitrary = 'a Q.arbitrary) -> sig ... end

module Option : functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> functor (A : ARBITRARY with type t = int option and type 'a arbitrary = 'a Q.arbitrary) -> functor (AA : ARBITRARY_A with type 'a t = 'a option and type 'a arbitrary = 'a Q.arbitrary) -> sig ... end

module String : functor (T : TEST) -> functor (Q : QUICKCHECK with type t = T.test) -> functor (A : ARBITRARY with type t = string and type 'a arbitrary = 'a Q.arbitrary) -> sig ... end