def spaces

stelliferous@0.0.2.0 · tensor_file.bend:401

import Base

401def spaces(count: Nat) -> List<&2,U32>:
402  match count:
403    case 0n: [10]
404    case 1n+rest: 32 <> spaces(rest)