def Bool.and
import Base575def Bool.and(a: Bool, b: Bool) -> Bool:
576 match a:
577 case False{}:
578 False{}
579 case True{}:
580 b
import Base575def Bool.and(a: Bool, b: Bool) -> Bool:
576 match a:
577 case False{}:
578 False{}
579 case True{}:
580 b