Module type Fold_map.Foldable2

module type Foldable2 = sig .. end

type 'a t 

val init : 'a t

val f : 'a t -> 'a -> 'a t