def nm.carets

bend-osdev-acpi@0.1.1.0 · aml_name.bend:162

import Base

162def nm.carets(n: Nat) -> List<&2, U32>:
163  match n:
164    case 0n:
165      Nil{}
166    case 1n+p:
167      Con{94, nm.carets(p)}