[][src]Module leo_compiler::function::input::main_function_input

Allocates a main function input parameter in a compiled Leo program.