package traverse
type (!'a1, !'a_t1, !'f0, !'result0, !'is_empty) t = | O : ('a, 'a_t, 'a, 'a_t, [ `Empty ]) t| S : ('a0, 'a_t0, 'f, 'result, 'b) t -> ('a0, 'a_t0, 'x -> 'f, 'x Stdcompat.ref -> 'result, [ `Not_empty ]) t
type (!'a1, !'a_t1, !'f0, !'result0, !'is_empty) t = | O : ('a, 'a_t, 'a, 'a_t, [ `Empty ]) t| S : ('a0, 'a_t0, 'f, 'result, 'b) t -> ('a0,
'a_t0,
'x ->
'f,
'x Stdcompat.ref ->
'result,
[ `Not_empty ])
t