DlistIterator.remove_meta: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/dlist_iterator.bend as DlistIterator
Lines 212-217 of bend-collections@1.0.0.0/src/containers/dlist_iterator.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/dlist_iterator.bend&start_line=212&end_line=217

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

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

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.sub
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/dlist_iterator.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/dlist_iterator.bend&name=Move
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/dlist_iterator.bend&name=choose
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend&name=Error