issue with free variables constrained in the type declaration
ok works fine, but not ko:
node ko () returns (b: int [0; 0]; a: int) = a = b
node ok () returns (a: int [0; 0]; b: int) = a = b
To upload designs, you'll need to enable LFS. More information