ByteMemTable.lookup.length.go: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend as ByteMemTable
Lines 385-405 of mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&start_line=385&end_line=405

import Base

def lookup.length.go(fuel: Nat, state: LengthSearch) -> LengthLookup:
  match fuel:
    case 0n:
      match state:
        case LengthSearch{_, entries, prefix, _}:
          lookup.length.result(prefix, entries, LengthAbsent{}, False{})
    case 1n+rest:
      match state:
        case LengthSearch{query, entries, prefix, order}:
          match entries:
            case Nil{}:
              lookup.length.result(prefix, Nil{}, LengthAbsent{}, False{})
            case Con{Entry{key, val}, tail}:
              match order:
                case EQ{}: lookup.length.hit(prefix, key, tail, val)
                case LT{}:
                  lookup.length.go(rest,
                    lookup.length.advance(query, key, val, tail, prefix))
                case GT{}:
                  lookup.length.go(rest,
                    lookup.length.advance(query, key, val, tail, prefix))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Cmp
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=LengthLookup
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=LengthProbe
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=LengthSearch
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=lookup.length.advance
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=lookup.length.hit
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/ByteMemTable.bend&name=lookup.length.result