~/jendhub

def assign_read

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

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

216def assign_read(p: Array<Wd> & U32, +n: Nat, +d: Nat, +q: Nat, +b: Nat, +v: Bool) -> Bitset & Result<&2, &2, E.Error, Unit>:
217  (a, w) = p
218  (BS{n, d, write(a, d, q, word_put(v, w, b))}, Done{Unit{}})

Uses (13)

Used by (1)