lustrec-tests/regression_tests/lustre_files/success/mpfr/dss_test.lusi @ 72e9ca2d
| 1 |
(* Generated Lustre Interface file from dss_test.lus *) |
|---|---|
| 2 |
(* by Lustre-C compiler version 1.3-458, 2016/10/25, 13:38:51 *) |
| 3 |
(* Feel free to mask some of the definitions by removing them from this file. *) |
| 4 |
|
| 5 |
node dss_test (In1_1_1: real; In2_1_1: real; In3_1_1: real; In4_1_1: real; In4_1_2: real; In5_1_1: real; In5_1_2: real; In6_1_1: real; In6_1_2: real; In7_1_1: real) returns (Out1_1_1: real; Out2_2_1: real; Out3_3_1: real; Out4_4_1: real; Out4_4_2: real; Out5_5_1: real; Out5_5_2: real; Out6_6_1: real; Out6_6_2: real; Out7_7_1: real); |
| 6 |
|