def clone_bytes

stelliferous@0.0.2.0 · kernel_planning.bend:69

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

69def clone_bytes(+window: InputRows) -> Nat:
70  InputRows{first,rows,+capacity} = window
71  Nat.mul(4n,Nat.max(2n,capacity))

Uses (4)

Used by (2)