Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/backends/C/c_backend.mli
1
open Lustre_types
2
open Machine_code_types
3

  
4
val translate_to_c: bool -> string -> program_t -> machine_t list -> dep_t list -> unit
5

  
6
val print_c_header: string -> unit

Also available in: Unified diff