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