Module Bonsai_quickcheck.ValueSource

Sourcetype 'a t =
  1. | Return : 'a -> 'a t
  2. | Map : 'a t * ('a, 'cmp) Witness.t * ('a, 'b) Function.t -> 'b t
  3. | Real_value : 'a Bonsai.Value.t -> 'a t
  4. | Var : 'a -> 'a t
  5. | Both : {
    1. first : 'a t;
    2. first_witness : ('a, _) Witness.t;
    3. second : 'b t;
    4. second_witness : ('b, _) Witness.t;
    } -> ('a * 'b) t
Sourcetype packed =
  1. | T : {
    1. unpacked : 'a t;
    2. witness : ('a, 'cmp) Witness.t;
    } -> packed