package qcheck-core

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package qcheck-core

qcheck-core
- QCheck
  - Fn
  - Gen
  - Iter
  - Observable
  - Print
  - Shrink
  - Test
  - TestResult
  - Tuple
    
    Infix
- Qcheck_ops
  - Make
    
    X
  - S
qcheck-core.runner
- QCheck_base_runner
  - Color
  - Raw

Legend:
Library
Module
Module type
Parameter
Class
Class type

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