def help.spaces

shake@0.7.0.0 · src/cli.bend:203

import Base

203# n spaces
204def help.spaces(nn: Nat) -> String:
205  match nn:
206    case 0n:
207      ""
208    case 1n+p:
209      " " ++ help.spaces(p)