def Map.bit.go

Base · base.bend:2662

import Base

2662def Map.bit.go(key: String, ci: Nat, off: Nat) -> String & Bool:
2663  match key:
2664    case SNil{}:
2665      (SNil{}, False{})
2666    case SCon{c, t}:
2667      match ci:
2668        case 0n:
2669          Map.bit.go.chr(t, Map.bit.chr(c, off))
2670        case 1n+j:
2671          Map.bit.go.rec(c, Map.bit.go(t, j, off))

Uses (8)

Used by (11)