~/jendhub

def band_bytes

stelliferous@0.0.2.0 · kernel_planning.bend:77

import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanning
import Base
import stelliferous@0.0.2.0/kernel_window.bend as KernelWindow

77def band_bytes(+band: KernelWindow.Band,+channels: U32,+width: U32) -> Nat:
78  KernelWindow.Band{first,+rows} = band
79  Nat.mul(4n,Nat.max(2n,capacity((channels * rows * width : U32))))

Uses (7)

Used by (1)