def SF
import lawful-bytes@0.1.1.0/proof_shift.bend as ProofShiftimport Base
235# The final view: SV at j = L - k.
236def SF(+xs: List<&2, U32>, +kk: Nat, +ll: Nat) -> List<&2, U32>:
237 SV(xs, kk, Nat.sub(ll, kk))
import lawful-bytes@0.1.1.0/proof_shift.bend as ProofShiftimport Base
235# The final view: SV at j = L - k.
236def SF(+xs: List<&2, U32>, +kk: Nat, +ll: Nat) -> List<&2, U32>:
237 SV(xs, kk, Nat.sub(ll, kk))