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