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