def clone_bytes
import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanningimport Base
69def clone_bytes(+window: InputRows) -> Nat:
70 InputRows{first,rows,+capacity} = window
71 Nat.mul(4n,Nat.max(2n,capacity))
import stelliferous@0.0.2.0/kernel_planning.bend as KernelPlanningimport Base
69def clone_bytes(+window: InputRows) -> Nat:
70 InputRows{first,rows,+capacity} = window
71 Nat.mul(4n,Nat.max(2n,capacity))