Module main_function_input
leo_compiler::function::input
Allocates a main function input parameter in a compiled Leo program.