def length
import bend-collections@1.0.0.0/src/containers/bitlist.bend as Bitlistimport Base
50def length(s: Bitlist) -> Bitlist & Nat:
51 BL{lim, +n, w} = s
52 (BL{lim, n, w}, n)
import bend-collections@1.0.0.0/src/containers/bitlist.bend as Bitlistimport Base
50def length(s: Bitlist) -> Bitlist & Nat:
51 BL{lim, +n, w} = s
52 (BL{lim, n, w}, n)