1
|
open Format
|
2
|
open Lustre_types
|
3
|
|
4
|
val pp_expr: formatter -> expr -> unit
|
5
|
val pp_eexpr: formatter -> eexpr -> unit
|
6
|
val pp_node: formatter -> node_desc -> unit
|
7
|
val pp_const: formatter -> constant -> unit
|
8
|
val pp_var: formatter -> var_decl -> unit
|
9
|
val pp_var_name: formatter -> var_decl -> unit
|
10
|
val pp_node_eq: formatter -> eq -> unit
|
11
|
val pp_node_eqs: formatter -> eq list -> unit
|
12
|
val pp_node_stmts: formatter -> statement list -> unit
|
13
|
val pp_spec: formatter -> contract_desc -> unit
|
14
|
val pp_expr_annot: formatter -> expr_annot -> unit
|
15
|
val pp_s_function: formatter -> expr_annot -> unit
|
16
|
val pp_short_decl: formatter -> top_decl -> unit
|
17
|
val pp_const_decl: formatter -> const_desc -> unit
|
18
|
val pp_var_type_dec_desc: formatter -> type_dec_desc -> unit
|
19
|
val pp_typedef: formatter -> typedef_desc -> unit
|
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
|