package traverse

  1. Overview
  2. Docs
type 'a x = 'a
type 'sequence t =
  1. | [] : unit t
  2. | :: : 'hd x * 'tl t -> ('hd * 'tl) t