def Bool.or
import Base582def Bool.or(a: Bool, b: Bool) -> Bool:
583 match a:
584 case False{}:
585 b
586 case True{}:
587 True{}
import Base582def Bool.or(a: Bool, b: Bool) -> Bool:
583 match a:
584 case False{}:
585 b
586 case True{}:
587 True{}