def Map.diff.step

Base · base.bend:2702

2702def Map.diff.step(x: Char, y: Char) -> Nat & Bool:
2703  match x y:
2704    case Chr{+cx} Chr{+cy}:
2705      (Map.diff.chr(U32.xor(cx, cy)), U32.is_eq(cx, cy))