package prbnmcn-dagger-test

  1. Overview
  2. Docs

Define a Q-valued measure generator for QCheck

type 'a t = ('a * Q.t) list
val simpl : 'a t -> 'a t
val return : 'a. 'a -> 'a t
val bind : 'a t -> ('a0 -> 'b t) -> 'b0 t
val let* : 'a t -> ('a -> 'b t) -> 'b t
val gen : 'a QCheck.Gen.t -> 'a t QCheck.Gen.t