Module expression
leo_compiler::expression
Enforce constraints on an expression in a compiled Leo program.