Module `Internal.Map_Accum`

Parameters

Type : Interface.TYPE
T : Interface.TRAVERSABLE_F

Signature

module SL : sig ... end

module SR : sig ... end

module TSL : sig ... end

module TSR : sig ... end

val map_accum_left : (Type.t -> 'a -> (Type.t, 'b) accum) -> Type.t -> 'a TSL.t -> (Type.t, 'b TSL.t) accum
val map_accum_right : (Type.t -> 'a -> (Type.t, 'b) accum) -> Type.t -> 'a TSR.t -> (Type.t, 'b TSR.t) accum