def zeros

bendtorch-core@0.1.0.0 · src/shape/projection_proofs.bend:15

import Base

15def zeros(count: Nat, values: List<&2, Nat>) -> List<&2, Nat>:
16  match count:
17    case 0n:
18      values
19    case 1n+rest:
20      0n <> zeros(rest, values)