def assign

bend-collections@1.0.0.0 · src/containers/bitlist.bend:102

import Base
import bend-collections@1.0.0.0/src/containers/types/bitlist.bend as E

102def assign(s: Bitlist, +i: Nat, +v: Bool) -> Bitlist & Result<&2, &2, E.Error, Unit>:
103  BL{+lim, +n, w} = s
104  assign_if(Nat.is_lt(i, n), lim, n, w, i, v)