def in.fsb.first

bend-osdev-acpi@0.1.1.0 · aml_interp.bend:1066

import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterp
import Base

1066def in.fsb.first(none: Bool, +i: Nat, acc: Nat) -> Nat:
1067  match none:
1068    case True{}:
1069      Nat.add(i, 1n)
1070    case False{}:
1071      acc

Uses (3)

Used by (1)