Module Bonsai_quickcheck.Packed_real_computationSource

Sourcetype t =
  1. | T : {
    1. unpacked : 'a Bonsai.Computation.t;
    2. witness : ('a, 'cmp) Witness.t;
    } -> t