~/jendhub

def pop_found_owned

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

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

547def pop_found_owned(~T: Type, limit: Nat, depth: Nat, cap: Nat, n: Nat, r: Array<Maybe<&1, T>> & Maybe<&1, T>) -> DynArray<&1, T> & Result<&2, &1, E.Error, T>:
548  (arr, old) = r
549  (DA{limit, depth, cap, n, arr}, owned_result(~T, old))

Uses (9)

Used by (1)