Module Bonsai_quickcheck.WitnessSource

Sourcetype ('a, 'cmp) t =
  1. | Unit : (unit, Core.Unit.comparator_witness) t
  2. | Int : (int, Core.Int.comparator_witness) t
  3. | Either : ('a, 'cmp_a) t * ('b, 'cmp_b) t -> (('a, 'b) Core.Either.t, ('cmp_a, 'cmp_b) Core.Either.comparator_witness) t
  4. | Tuple : ('a, 'cmp_a) t * ('b, 'cmp_b) t -> (('a, 'b) Core.Tuple2.t, ('cmp_a, 'cmp_b) Core.Tuple2.comparator_witness) t
  5. | Map : ('k, 'k_cmp) t * ('v, 'v_cmp) t -> (('k, 'v, 'k_cmp) Core.Map.t, ('k_cmp, 'v_cmp) Map_comparator.comparator_witness) t
  6. | Effect_func : ('a, 'cmp) t -> ('a -> unit Bonsai.Effect.t, 'cmp Effect_func_comparator.comparator_witness) t
Sourcetype packed =
  1. | T : ('a, 'cmp) t -> packed
Sourceval equal : ('w, 'cmp) t -> 'w -> 'w -> bool