Module Alg_structs_qcheck__.Foldable

module Alg = Alg_structs
module type S = sig ... end
val test : (module S) -> QCheck.Test.t list
val tests : (module S) list -> QCheck.Test.t list