Functor Foldable.Make

module Make: 
functor (F : Basic) -> S  with type 'a t := 'a F.t

include Foldable.Basic

val foldr' : ('a -> 'b -> 'b) -> 'b -> 'a t -> 'b

val fold_map : (module Monoid.S with type t = 'm) -> ('a -> 'm) -> 'a t -> 'm

val any : ('a -> bool) -> 'a t -> bool

val all : ('a -> bool) -> 'a t -> bool

val find : ('a -> bool) -> 'a t -> 'a option