Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/backends/Horn/horn_backend_printers.mli
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

Also available in: Unified diff