lustrec-tests/regression_tests/lustre_files/success/clocks/clocks9.lusi @ b03d5034
1 |
(* Generated Lustre Interface file from clocks9.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 |
function toto (x: int; d: bool clock) returns (y: int when true(d)); |
6 |
|
7 |
function clocks9 (i: int) returns (o: int); |
8 |
|