Model.CONTRAVARIANT_1
type 'a t
type 'a generator
type 'a input
val generator : 'a QCheck2.Observable.t -> 'a generator QCheck2.Gen.t
val input : 'a QCheck2.Gen.t -> 'a input QCheck2.Gen.t
val lift : 'a generator -> 'a t
val run_equality : 'a input -> 'a t -> 'a t -> bool