engine/postprocess_transinfo.mli

   1 val process :
   2     Ast_cocci.meta_name list (* used after *) ->
   3       (Ast_cocci.meta_name * Lib_engine.metavar_binding_kind2) list
   4       (*inherited env*)->
   5     (Ograph_extended.nodei *
   6        (Ast_cocci.meta_name * Lib_engine.metavar_binding_kind2) list *
   7        Lib_engine.predicate) list list ->
   8          (Ograph_extended.nodei *
   9             (Ast_cocci.meta_name * Lib_engine.metavar_binding_kind2) list *
  10             Lib_engine.predicate) list *
  11            (Ast_cocci.meta_name * Lib_engine.metavar_binding_kind2) list list