Commit | Line | Data |
---|---|---|
34e49164 C |
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 |