MyPy Wat

output.txt

cmsh/var.py:222: error: Argument 1 to "v_not" has incompatible type "Union[bool, Variable]"; expected "Variable"
cmsh/var.py:276: error: Argument 1 to "v_not" has incompatible type "Union[bool, Variable]"; expected "Variable"
cmsh/var.py:318: error: Argument 1 to "v_not" has incompatible type "Union[bool, Variable]"; expected "Variable"

snippet.py

def b_nand(left: Union[bool, Variable], right: Union[bool, Variable]) -> Union[bool, Variable]:
    """
    Computes the binary NAND between left and right operands.

    Args:
        left (bool or Variable): left operand.
        right (bool or Variable): right operand.

    Returns:
        bool or Variable: the result of the operation.
    """
    if isinstance(left, bool) and isinstance(right, bool):
        return not (left and right)

    if isinstance(left, bool):
        if not left:
            return True
        return v_not(right)

    if isinstance(right, bool):
        if not right:
            return True
        return v_not(left)

    return v_nand(left, right)