Matching_generic (p.pfff.0.39.1.doc.pfff-matcher.Matching

module Ast = Ast_generic

module Lib = Lib_ast_generic

module MV = Metavars_generic

module MVGen = Metavars_fuzzy

val verbose : bool ref

val pr2 : string -> unit

val _pr2_once : string -> unit

module XMATCH : sig ... end

module MATCH : sig ... end

type ('a, 'b) matcher = 'a -> 'b -> MV.metavars_binding list

val extract_bindings : 'a XMATCH.tout -> MV.metavars_binding list

val match_e_e : 
  Generic_vs_generic.A.expr ->
  Generic_vs_generic.B.expr ->
  MV.metavars_binding list

val match_st_st : 
  Generic_vs_generic.A.stmt ->
  Generic_vs_generic.B.stmt ->
  MV.metavars_binding list