def get

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

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

209def get(s: Bitset, +i: Nat) -> Bitset & Result<&2, &2, E.Error, Bool>:
210  match s:
211    case BS{+n, +d, a}:
212      get_if(Nat.is_lt(i, n), n, d, a, i)

Uses (8)

Used by (1)