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