Module main_function
leo_compiler::function
Enforces constraints on the main function of a compiled Leo program.