law skip_long

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/poly1305/value.bend:562

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/limbs.bend as Li

562law skip_long:
563  for +n: Nat
564  for +xs: List<&2, U32>
565  for +h: {Nat.is_le(len(xs), n) == True{} : Bool}
566  {Li.skip(n, xs) == [] : List<&2, U32>}