Module type Intf.Foldable

Abstract foldable containers

type 'a t
type 'a m
val fold : ('a -> 'b -> 'a m) -> 'a -> 'b t -> 'a m
val iter : ('a -> unit m) -> 'a t -> unit m