~/jendhub

def get_read

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

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

198def get_read(p: Array<Wd> & U32, +n: Nat, +d: Nat, +b: Nat) -> Bitset & Result<&2, &2, E.Error, Bool>:
199  (a, w) = p
200  (BS{n, d, a}, Done{word_get(w, b)})

Uses (11)

Used by (1)