lustrec-tests/regression_tests/lustre_files/success/clocks/clocks6.lusi @ af44cb25
| 1 | b56f648d | bourbouh | (* Generated Lustre Interface file from clocks6.lus *) |
|---|---|---|---|
| 2 | 4ce7401e | bourbouh | (* by Lustre-C compiler version 1.3-458, 2016/10/21, 20:42:39 *) |
| 3 | b56f648d | bourbouh | (* Feel free to mask some of the definitions by removing them from this file. *) |
| 4 | |||
| 5 | type choice1 = enum {On, Off };
|
||
| 6 | |||
| 7 | type choice2 = enum {Up, Down };
|
||
| 8 | |||
| 9 | function clocks6 (x: int) returns (y: int); |