def to_list_at
import bend-collections@1.0.0.0/src/containers/dynamic_array.bend as DynamicArrayimport Base
456def to_list_at(~T: Data, da: DynArray<&2, T>) -> DynArray<&2, T> & List<&2, T>:
457 DA{limit, depth, +cap, len, arr} = da
458 tl_start_at(~T, limit, depth, cap, len, arr)