I'm confused with the meaning to give to
cMap.mli. Its type is
(key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b while I would have expected, following the model of
List.fold_left, that it is
(key -> 'a -> 'b -> 'a) -> 'a -> 'b t -> 'a.
Two parameters are in play regarding
fold on maps:
Then, shouldn't there be four variants? Or, if only the increasing/decreasing order is expected to matter, shouldn't it be called
fold_down instead, both following the
List.fold_right pattern, that is
(key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b?
Last updated: Feb 01 2023 at 15:04 UTC