def Bool.not
import Base568def Bool.not(b: Bool) -> Bool:
569 match b:
570 case False{}:
571 True{}
572 case True{}:
573 False{}
import Base568def Bool.not(b: Bool) -> Bool:
569 match b:
570 case False{}:
571 True{}
572 case True{}:
573 False{}