Up – Package index » goblint index » Library goblint.std » Goblint_std » GobQCheck

Module `Goblint_std.GobQCheck`Source

QCheck extensions.

Sourceval shrink : 'a QCheck.arbitrary -> 'a QCheck.Shrink.t

Sourcemodule Gen : sig ... end

Sourcemodule Iter : sig ... end

Sourcemodule Shrink : sig ... end

Sourcemodule Arbitrary : sig ... end