[Feature] (Virtually) Unlimited function arguments and outputs in Leo

[d0cd]

🚀 Feature

snarkVM has a limit of 16 inputs and 16 outputs per transition/function. Leo can overcome these limits by repackaging all non-record inputs and outputs into a "canonical" struct. The transition is still restricted to at most 16 record inputs and outputs but the overall ergonomics is improved.

[alexanderkim11]

How would this look when converted down to Aleo instructions? Would there be a reserved struct name in Leo to be used only for packaging inputs/outputs? And how would it look if you have multiple functions with varying numbers and types of inputs/outputs?