Module Scan.MA
module SL : sig ... endmodule SR : sig ... endmodule TSL : sig ... endmodule TSR : sig ... endval map_accum_left : (int -> 'a -> (int, 'b) Functions.Travsersable.Internal.accum) -> int -> 'a TSL.t -> (int, 'b TSL.t) Functions.Travsersable.Internal.accumval map_accum_right : (int -> 'a -> (int, 'b) Functions.Travsersable.Internal.accum) -> int -> 'a TSR.t -> (int, 'b TSR.t) Functions.Travsersable.Internal.accum