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