def Bool.to_u32
import Base621def Bool.to_u32(b: Bool) -> U32:
622 match b:
623 case False{}:
624 0
625 case True{}:
626 1
import Base621def Bool.to_u32(b: Bool) -> U32:
622 match b:
623 case False{}:
624 0
625 case True{}:
626 1