Module `Goblint_std.GobQCheck`

QCheck extensions.

val shrink : 'a QCheck.arbitrary -> 'b QCheck.Shrink.t

module Gen : sig ... end

module Iter : sig ... end

module Shrink : sig ... end

module Arbitrary : sig ... end