lustrec/src/backends/Horn/horn_backend_printers.mli @ a7062da6
1 |
open Format |
---|---|
2 |
open Lustre_types |
3 |
open Machine_code_types |
4 |
|
5 |
val pp_horn_var: machine_t -> formatter -> var_decl -> unit |
6 |
val pp_xml_expr: formatter -> expr -> unit |
7 |
val print_sfunction: machine_t list -> formatter -> machine_t -> unit |
8 |
val print_machine: machine_t list -> formatter -> machine_t -> unit |