~/jendhub

def obs_list

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

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

508def obs_list(r: Bitset & List<&2, Nat>) -> Bitset & E.Obs:
509  (s, xs) = r
510  (s, E.OList{xs})

Uses (6)

Used by (1)