boolean

@make_procedure
class BoolAnd(Procedure[Bool]):
    """Combine two boolean values with logical AND.

    Returns true only if both left and right operands are true. Also
    available as the ``&`` operator on procedures.

    Attributes:
        left: The left boolean operand.
        right: The right boolean operand.
    """

    left: Input[Bool]
    right: Input[Bool]

@make_procedure
class BoolNot(Procedure[Bool]):
    """Negate a boolean value (logical NOT).

    Returns the logical negation of the input: true becomes false, false
    becomes true. Also available as the ``~`` operator on procedures.

    Attributes:
        value: The boolean procedure to negate.
    """

    value: Input[Bool]

@make_procedure
class BoolOr(Procedure[Bool]):
    """Combine two boolean values with logical OR.

    Returns true if either left or right operand (or both) are true. Also
    available as the ``|`` operator on procedures.

    Attributes:
        left: The left boolean operand.
        right: The right boolean operand.
    """

    left: Input[Bool]
    right: Input[Bool]