def weight_bytes

stelliferous@0.0.2.0 · kernel_planning.bend:54

import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanning

import Base

54def weight_bytes(work: Work) -> Nat:
55  Work{positions,inner,rows,owners,geometry,activation} = work
56  Nat.mul(32n,capacity(((rows + 7) / 8 * inner : U32)))

Uses (8)

Used by (3)