let map_patt f =
              object
                inherit map as super
                  
                method patt = fun x -> f (super#patt x)
                  
              end