Functor Fold_map.Cons


module Cons: 
functor (T : sig
type t 
end) -> Fold with type t = T.t list and type data = T.t module
Parameters:
T : sig type t end

type t 
type data 
val init : t
val f : t -> data -> t