package traverse

  1. Overview
  2. Docs

Parameters

module T : BinaryTypeS

Signature

type ('a, 'b, 'ab_t, 'f, 'g, 'result, 'is_empty) t =
  1. | O : ('a, 'b, 'ab_t, 'a, 'b, 'ab_t, [ `Empty ]) t
  2. | S : ('a, 'b, 'ab_t, 'f, 'g, 'result, _) t -> ('a, 'b, 'ab_t, 'x -> 'f, 'y -> 'g, ('x, 'y) T.t -> 'result, [ `Not_empty ]) t