type 'a t = 'a array
val map : ('a -> 'b) -> 'a t -> 'b tval fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'aval fold_right : ('b -> 'a -> 'a) -> 'a -> 'b t -> 'a
module Fold_Map : functor (M : Bastet.Interface.MONOID) -> sig ... endmodule Fold_Map_Any : functor (M : Bastet.Interface.MONOID_ANY) -> sig ... endmodule Fold_Map_Plus : functor (P : Bastet.Interface.PLUS) -> sig ... endtype 'a applicative_t = 'a Applicative.t
val traverse : ('a -> 'b applicative_t) -> 'a t -> 'b t applicative_tval sequence : 'a applicative_t t -> 'a t applicative_t