package prbnmcn-dagger-test

  1. Overview
  2. Docs

Module Resampling_test.DistSource

Define a Q-valued measure generator for QCheck

Sourcetype 'a t = ('a * Q.t) list
Sourceval simpl : 'a t -> 'a t
Sourceval return : 'a. 'a -> 'a t
Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t
Sourceval (let*) : 'a t -> ('a -> 'b t) -> 'b t
Sourceval gen : 'a QCheck.Gen.t -> 'a t QCheck.Gen.t