Map.bit.go: def of Base
Import: import Base
Lines 2662-2671 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2662&end_line=2671

import Base

def Map.bit.go(key: String, ci: Nat, off: Nat) -> String & Bool:
  match key:
    case SNil{}:
      (SNil{}, False{})
    case SCon{c, t}:
      match ci:
        case 0n:
          Map.bit.go.chr(t, Map.bit.chr(c, off))
        case 1n+j:
          Map.bit.go.rec(c, Map.bit.go(t, j, off))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.bit.chr
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.bit.go.chr
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.bit.go.rec
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String