def new_balanced

bendtorch-core@0.1.0.0 · src/storage/array.bend:14

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

14def new_balanced(-T: Data, +d: Nat, +value: T) -> Model.Balanced(T, d, Array.new(T, d, value)):
15  match d:
16    case 0n:
17      Unit{}
18    case 1n++p:
19      (new_balanced(T, p, value), new_balanced(T, p, value))