lustrec-tests/regression_tests/lustre_files/success/clocks/clocks8.lusi @ b03d5034
1 |
(* Generated Lustre Interface file from clocks8.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 {On, Off }; |
6 |
|
7 |
function clocks8 (x: int) returns (e: int); |
8 |
|