package traverse

  1. Overview
  2. Docs
type ('a, 'b) x
type ('a_s, 'b_s) t =
  1. | [] : (unit, unit) t
  2. | :: : ('a, 'b) x * ('a_s, 'b_s) t -> ('a * 'a_s, 'b * 'b_s) t