AmlInterp.in.fsb.pick: def of bend-osdev-acpi@0.1.2.0
Import: import bend-osdev-acpi@0.1.2.0/aml_interp.bend as AmlInterp
Lines 1073-1082 of bend-osdev-acpi@0.1.2.0/aml_interp.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&start_line=1073&end_line=1082

import Base

def in.fsb.pick(set: Bool, left: Bool, +i: Nat, +acc: Nat) -> Nat:
  match set:
    case False{}:
      acc
    case True{}:
      match left:
        case True{}:
          Nat.add(i, 1n)
        case False{}:
          in.fsb.first(Nat.is_eq(acc, 0n), i, acc)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.2.0/aml_interp.bend&name=in.fsb.first