lustrec/optim/clocks7/clocks7.lusi @ 6a93d814
| 1 |
(* Generated Lustre Interface file from clocks7.lus *) |
|---|---|
| 2 |
(* generated by Lustre-C compiler version 317, 2014/6/11, 12:32:28 *) |
| 3 |
(* feel free to mask some of the nodes by removing them from this file. *) |
| 4 |
|
| 5 |
function toto (x: int) returns (y: int); |
| 6 |
|
| 7 |
|