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          (int list *
   9             (Ograph_extended.nodei *
  10                (Ast_cocci.meta_name * Lib_engine.metavar_binding_kind2)
  11                list *
  12                Lib_engine.predicate)) list *
  13            (Ast_cocci.meta_name * Lib_engine.metavar_binding_kind2) list list