def record

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

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

274def record(-T: Data, acc: List<&2, E.Obs<T>>, r: DynArray<&2, T> & E.Obs<T>) -> DynArray<&2, T> & List<&2, E.Obs<T>>:
275  (da, o) = r
276  (da, Con{o, acc})