Module `Scan.MA`

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) Internal.accum) -> Type.t -> 'a TSL.t -> (Type.t, 'b TSL.t) Internal.accum
val map_accum_right : (Type.t -> 'a -> (Type.t, 'b) Internal.accum) -> Type.t -> 'a TSR.t -> (Type.t, 'b TSR.t) Internal.accum