def zeros

ezx@1.11.0.0 · src/sha/nar.bend:40

import Base

40# that many NUL bytes, the padding after a string
41def zeros(count: Nat) -> String:
42  match count:
43    case 0n:
44      ""
45    case 1n+p:
46      SCon{Chr{0}, zeros(p)}