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