Up – Package index » goblint » Library goblint.lib » Goblint_lib » MyCheck

Module `Goblint_lib.MyCheck`

QCheck extensions.

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

module Gen : sig ... end

module Iter : sig ... end

module Shrink : sig ... end

module Arbitrary : sig ... end