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

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