Module input
leo_compiler::value::boolean
Methods to enforce constraints on input boolean values in a resolved Leo program.