def madt.min

import bend-osdev-acpi@0.1.1.0/madt.bend as Madt

import Base

116def madt.min(+k: U32) -> Nat:
117  madt.min.go(U32.to_nat(k))

Uses (4)