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