Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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