package traverse
Legend:
Library
Module
Module type
Parameter
Class
Class type
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