~/jendhub

def length

bend-collections@1.0.0.0 · src/containers/dynamic_array.bend:62

import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as DynamicArray
import Base

62def length(-T: Data, da: DynArray<&2, T>) -> DynArray<&2, T> & Nat:
63  DA{limit, depth, cap, +len, arr} = da
64  (DA{limit, depth, cap, len, arr}, len)

Uses (4)

Used by (5)