Module type Qcheck_ops.S

module type S = sig .. end

type 'a t_let 
val let+ : 'a t_let -> ('a -> 'b) -> 'b t_let
val and+ : 'a t_let ->
'b t_let -> ('a * 'b) t_let
val ( let* ) : 'a t_let ->
('a -> 'b t_let) -> 'b t_let
val ( and* ) : 'a t_let ->
'b t_let -> ('a * 'b) t_let