def remove_meta

bend-collections@1.0.0.0 · src/containers/dlist_iterator.bend:212

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

212def remove_meta(~T: Data, n: U32, last: U32, +f: Bool, +i: Nat, after: U32, r: Result<&2, &2, E.Error, T>) -> Move<Unit>:
213  match r:
214    case Fail{e}:
215      M{n, last, f, i, Fail{Storage{e}}}
216    case Done{x}:
217      M{after, 0, f, choose(Nat, f, Nat.sub(i, 1n), i), Done{Unit{}}}