package traverse

  1. Overview
  2. Docs
type (!'a2, !'a_t2, !'f1, !'result1, !'is_empty) t =
  1. | O : ('a, 'a_t, 'a, 'a_t, [ `Empty ]) t
  2. | S : ('a0, 'a_t0, 'f, 'result, 'b) t -> ('a1, 'a_t1, 'x -> 'f0, 'x0 Stdcompat.ref -> 'result0, [ `Not_empty ]) t