package qcheck-core

  1. Overview
  2. Docs

Module Qcheck_ops.Make

Parameters

module X : sig ... end

Signature

type 'a t_let = 'a X.t
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