spec/lib/u32seq.bend checks
raw source on the hub · import bend-collections-laws-containers@1.0.0.0/spec/lib/u32seq.bend as U32seq
2 imports
import Base import ./common.bend as C
Definitions
def sum source · line 8 · raw
@xs:List<&2, U32> -> U32
Sum of all elements, wrapping modulo 2^32 (U32.add).
def slice source · line 16 · raw
@xs:List<&2, U32> -> @+l:Nat -> @r:Nat -> List<&2, U32>
The elements with index in [l, r).
def zeros source · line 19 · raw
@n:Nat -> List<&2, U32>
def add_each source · line 23 · raw
@xs:List<&2, U32> -> @+v:U32 -> List<&2, U32>
Every element increased by v (wrapping).