def res.min.small

bend-osdev-acpi@0.1.1.0 · aml_resource.bend:96

import Base

96# the minimum lengths of the descriptors read
97def res.min.small(+t: Nat) -> Nat:
98  match t:
99    case 4n:
100      2n
101    case 5n:
102      2n
103    case 8n:
104      7n
105    case 9n:
106      3n
107    case _:
108      0n