Module function_input
leo_compiler::function::input
Enforces a function input parameter in a compiled Leo program.