lustrec-tests/regression_tests/lustre_files/success/clocks/clocks2.lusi @ b03d5034
1 |
(* Generated Lustre Interface file from clocks2.lus *) |
---|---|
2 |
(* by Lustre-C compiler version 1.3-458, 2016/10/21, 20:42:39 *) |
3 |
(* 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); |
16 |
|