package traverse

  1. Overview
  2. Docs
type ('a, 'b) x = ('a, 'b) t -> 'b
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