lustrectests/regression_tests/lustre_files/success/machine_types/simple/ex1.lus @ 8af9a0b9
1 
node ex2(x: int) returns (y: int) 

2 
let

3 
! machine_types: (y, "uint8");

4 
y = x; 
5 
tel

6  
7 
node ex1(x: int) returns (y: int); 
8 
let

9 
! machine_types: (y, "uint8");

10 
y = 3 + ex2(x); 
11 
tel

12  
13 
node top (x: int) returns (y: int) 
14 
var l1: int; 
15 
let

16 
! machine_types: (l1, "uint16");

17 
! machine_types: (l1, "int16");

18 
l1 = x; 
19 
y = l1; 
20 
tel
