Module `Test.Default`

Parameters

T : TEST
Q : QUICKCHECK with type t = T.test

Signature

module Foldable : Interface.FOLDABLE with type 'a t = 'a list

module Traversable : functor (A : Interface.APPLICATIVE) -> sig ... end

val foldable : T.test T.suite

module Traverse : sig ... end

val traversable : T.test T.suite
val suites : T.test T.suite list