def hd.spaces

bend-osdev-acpi@0.1.1.0 · header.bend:268

import Base

268def hd.spaces(n: Nat) -> List<&2, U32>:
269  match n:
270    case 0n:
271      Nil{}
272    case 1n+p:
273      Con{32, hd.spaces(p)}