def obs_nat

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

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

237def obs_nat(-T: Data, r: DynArray<&2, T> & Nat) -> DynArray<&2, T> & E.Obs<T>:
238  (d, n) = r
239  (d, E.ONat{n})