Mark.marked_iter
constraint 'self = < visit_marked : 'a. ( 'env -> 'a -> unit ) -> 'env -> ( 'a, 'm ) ed -> unit.. >
method visit_marked : 'a. ( 'env -> 'a -> unit ) -> 'env -> ( 'a, 'm ) ed -> unit