def Map.bit.go.chr
import Base2654def Map.bit.go.chr(t: String, r: Char & Bool) -> String & Bool:
2655 (c2, b) = r
2656 (SCon{c2, t}, b)
import Base2654def Map.bit.go.chr(t: String, r: Char & Bool) -> String & Bool:
2655 (c2, b) = r
2656 (SCon{c2, t}, b)