lustrec-tests/regression_tests/lustre_files/success/clocks/clocks1.lusi @ b03d5034
1 |
(* Generated Lustre Interface file from clocks1.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 |
node clocks1 (x: bool; d: bool clock) returns (a: int when true(d); b: int); |
6 |
|