Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/printers.mli | ||
---|---|---|
6 | 6 |
val pp_node: formatter -> node_desc -> unit |
7 | 7 |
val pp_const: formatter -> constant -> unit |
8 | 8 |
val pp_var: formatter -> var_decl -> unit |
9 |
val pp_var_name: formatter -> var_decl -> unit |
|
9 | 10 |
val pp_node_eq: formatter -> eq -> unit |
10 | 11 |
val pp_node_eqs: formatter -> eq list -> unit |
12 |
val pp_node_stmts: formatter -> statement list -> unit |
|
11 | 13 |
val pp_spec: formatter -> contract_desc -> unit |
12 | 14 |
val pp_expr_annot: formatter -> expr_annot -> unit |
15 |
val pp_s_function: formatter -> expr_annot -> unit |
|
13 | 16 |
val pp_short_decl: formatter -> top_decl -> unit |
14 | 17 |
val pp_const_decl: formatter -> const_desc -> unit |
15 | 18 |
val pp_var_type_dec_desc: formatter -> type_dec_desc -> unit |
16 | 19 |
val pp_typedef: formatter -> typedef_desc -> unit |
17 | 20 |
val pp_prog: formatter -> program_t -> unit |
21 |
val pp_prog_short: formatter -> program_t -> unit |
|
22 |
val pp_quantifiers: formatter -> quantifier_type * var_decl list -> unit |
Also available in: Unified diff
another step towards refactoring