Module Bonsai_quickcheck.FunctionSource

Sourcetype ('input, 'output) t =
  1. | Identity : ('input, 'input) t
  2. | Const : 'output -> ('input, 'output) t
  3. | Add_const : int -> (int, int) t
  4. | Snd : ('a * 'b, 'b) t
  5. | Map_tuple : ('a, 'b) t * ('c, 'd) t -> ('a * 'c, 'b * 'd) t
  6. | Make_either : [ `First | `Second ] -> ('a * 'b, ('a, 'b) Core.Either.t) t