Module type Model.PROFUNCTORIAL

type ('a, 'b) t
type ('a, 'b) generator
type 'a input
type 'a output
val generator : 'a QCheck2.Observable.t -> 'b QCheck2.Gen.t -> ('a, 'b) generator QCheck2.Gen.t
val input : 'a QCheck2.Gen.t -> 'a input QCheck2.Gen.t
val lift : ('a, 'b) generator -> ('a, 'b) t
val equal : ('b -> 'b -> bool) -> 'b output -> 'b output -> bool
val run : ('a, 'b) t -> 'a input -> 'b output
val run_functional_output : ('a -> 'b) output -> 'a -> 'b output
val map_input : ('a -> 'b) -> 'a input -> 'b input
val run_equality : 'a input -> ('b output -> 'b output -> bool) -> ('a, 'b) t -> ('a, 'b) t -> bool