def Map.diff.fin

Base · base.bend:2712

2712def Map.diff.fin(xt: String, yt: String, rc: Nat & Bool) -> Nat:
2713  (r, c) = rc
2714  match c:
2715    case True{}:
2716      Nat.add(33n, Map.diff(xt, yt))
2717    case False{}:
2718      r