def Bool.show
import Base2409def Bool.show(b: Bool) -> String:
2410 match b:
2411 case False{}:
2412 "False"
2413 case True{}:
2414 "True"
import Base2409def Bool.show(b: Bool) -> String:
2410 match b:
2411 case False{}:
2412 "False"
2413 case True{}:
2414 "True"