def grown_generic

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

import Base

29def grown_generic(-S:Data,-C:Type,fuel:Nat,column:Column<S,C>,+size:U32,+depth:Nat,+target:U32,enough:Bool) -> Column<S,C>:
30  match fuel enough:
31    case _ True{}:column
32    case 0n False{}:column
33    case 1n+rest False{}:grown_generic(S,C,rest,Branch{size,column,vacant_generic(S,C,depth)},U32.add(size,size),1n+depth,target,U32.is_le(target,U32.add(size,size)))