Module Alg_structs_qcheck.Foldable

QCheck tests of Foldable Laws

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