Module `Travsersable.Scan`

Parameters

Type : Interface.TYPE

Signature

module MA : sig ... end

val scan_left : (Type.t -> 'a -> Type.t) -> Type.t -> 'a MA.TSL.t -> Type.t MA.TSL.t
val scan_right : ('a -> Type.t -> Type.t) -> Type.t -> 'a MA.TSR.t -> Type.t MA.TSR.t