engine/pretty_print_engine.mli

   1 (* could be in pretty_print_c because dependent of ast_c but metavars
   2  * are in ast_c for "bad" reason, so better put the pretty_print
   3  * of metavars here
   4  *)
   5
   6 val pp_binding_kind : Ast_c.metavar_binding_kind -> unit
   7 val pp_binding : Ast_c.metavars_binding -> unit
   8
   9 val pp_binding_kind2 : Lib_engine.metavar_binding_kind2 -> unit
  10 val pp_binding2_ctlsubst :
  11     (Lib_engine.mvar, Lib_engine.metavar_binding_kind2)
  12     Ast_ctl.generic_substitution ->
  13     unit
  14 val pp_predicate : Lib_engine.predicate -> unit
  15 val predicate_to_string : Lib_engine.predicate -> string
  16
  17
  18 val pp_ctlcocci :
  19   bool (* show_plus *) -> bool (* inline_let *) -> Lib_engine.ctlcocci -> unit
  20