def workspace

stelliferous@0.0.2.0 · kernel_planning.bend:170

import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanning

import Base

170def workspace(+depth: U32,+work: Work,cost: Movement) -> Nat:
171  Work{+positions,inner,rows,owners,geometry,activation} = work
172  Movement{packed,leaves,copies,span,total,minimum} = cost
173  Nat.add(weight_bytes(work),Nat.add(packed,Nat.add(copies,
174    Bool.pick(Nat,U32.is_zero(depth),0n,leaves))))

Uses (8)

Used by (1)

stelliferous@0.0.2.0/kernel_planning:candidate