def assign

bend-collections@1.0.0.0 · src/containers/bitset.bend:227

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

227def assign(s: Bitset, +i: Nat, +v: Bool) -> Bitset & Result<&2, &2, E.Error, Unit>:
228  match s:
229    case BS{+n, +d, a}:
230      assign_if(Nat.is_lt(i, n), n, d, a, i, v)

Uses (9)

Used by (2)