package traverse

  1. Overview
  2. Docs
type (!'a, !'b, !'ab_t, !'f, !'g, !'result, !'is_empty) t = ('a, 'b, 'ab_t, 'f, 'g, 'result, 'is_empty) BinaryArity(Stdcompat.Result).t =
  1. | O : ('a0, 'b0, 'ab_t0, 'a0, 'b0, 'ab_t0, [ `Empty ]) t
  2. | S : ('a1, 'b1, 'ab_t1, 'f0, 'g0, 'result0, 'c) t -> ('a1, 'b1, 'ab_t1, 'x -> 'f0, 'y -> 'g0, ('x, 'y) Stdcompat.Result.t -> 'result0, [ `Not_empty ]) t