~/jendhub

def get

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

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

74def get(s: Bitlist, +i: Nat) -> Bitlist & Result<&2, &2, E.Error, Bool>:
75  BL{+lim, +n, w} = s
76  get_if(Nat.is_lt(i, n), lim, n, w, i)

Uses (8)

Used by (1)