def Bool.xor
import Base589def Bool.xor(a: Bool, b: Bool) -> Bool:
590 match a:
591 case False{}:
592 b
593 case True{}:
594 Bool.not(b)
import Base589def Bool.xor(a: Bool, b: Bool) -> Bool:
590 match a:
591 case False{}:
592 b
593 case True{}:
594 Bool.not(b)