Module Sgrep_generic

module Ast = Ast_generic
module V = Visitor_ast
module GG = Generic_vs_generic
type pattern = Ast.any
type ('a, 'b) matcher = 'a -> 'b -> Metavars_generic.metavars_binding list
val match_e_e : GG.A.expr -> GG.B.expr -> GG.tout
val match_st_st : GG.A.stmt -> GG.B.stmt -> GG.tout
val match_any_any : GG.A.any -> GG.B.any -> GG.tout
val sgrep_ast : hook:(GG.MV.metavars_binding -> Parse_info.t list -> unit) -> Ast_generic.any -> Ast_generic.program -> unit