sig
type 'a t_let
val ( let+ ) : 'a Qcheck_ops.S.t_let -> ('a -> 'b) -> 'b Qcheck_ops.S.t_let
val ( and+ ) :
'a Qcheck_ops.S.t_let ->
'b Qcheck_ops.S.t_let -> ('a * 'b) Qcheck_ops.S.t_let
val ( let* ) :
'a Qcheck_ops.S.t_let ->
('a -> 'b Qcheck_ops.S.t_let) -> 'b Qcheck_ops.S.t_let
val ( and* ) :
'a Qcheck_ops.S.t_let ->
'b Qcheck_ops.S.t_let -> ('a * 'b) Qcheck_ops.S.t_let
end