def absent

bendvy-ecs-core@0.1.0.3 · column.bend:57

import Base

57def absent(~C: Type, +depth: Nat) -> Array<Maybe<&1,C>>:
58  match depth:
59    case 0n:
60      ALeaf{None{}}
61    case 1n+rest:
62      ANode{absent(~C, rest), absent(~C, rest)}