lustrec-tests/regression_tests/lustre_files/success/clocks/clocks2.lusi @ af44cb25
| 1 | b56f648d | bourbouh | (* Generated Lustre Interface file from clocks2.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 choice = enum {One, Two };
|
||
| 6 | |||
| 7 | type entier = int; |
||
| 8 | |||
| 9 | const PI = 3; |
||
| 10 | |||
| 11 | const choix = One; |
||
| 12 | |||
| 13 | node toto (x: int) returns (a: int; y: int); |
||
| 14 | |||
| 15 | node clocks2 (x: bool) returns (y: int); |