def absent_generic

bendvy-ecs-core@0.1.0.3 · chunk_column.bend:13

import Base

13def absent_generic(-C:Type,depth:Nat) -> Array<Maybe<&1,C>>:
14  match depth:
15    case 0n:ALeaf{None{}}
16    case 1n++rest:ANode{absent_generic(C,rest),absent_generic(C,rest)}