Project

General

Profile

Download (327 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(3-3/17)