lustrec/src/backends/Ada/ada_backend.mli @ a7062da6
1 |
(** Main function of the Ada backend. It calls all the subfunction creating all
|
---|---|
2 |
the file and fill them with Ada code representing the machines list given.
|
3 |
@param basename name of the lustre file @param prog list of machines to
|
4 |
translate **)
|
5 |
val translate_to_ada: string -> Machine_code_types.machine_t list -> unit |