def srat.min

bend-osdev-acpi@0.1.1.0 · srat.bend:47

import Base

47def srat.min(k: Nat) -> Nat:
48  match k:
49    case 0n:
50      16n
51    case 1n:
52      40n
53    case 2n:
54      24n
55    case 3n:
56      18n
57    case 4n:
58      12n
59    case 5n:
60      32n
61    case 6n:
62      32n
63    case _:
64      2n