DlistIterator.add_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 193-198 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=193&end_line=198

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

def add_meta(n: U32, last: U32, f: Bool, i: Nat, r: Result<&2, &2, E.Error, E.Handle>) -> Move<Unit>:
  match r:
    case Fail{e}:
      M{n, last, f, i, Fail{Storage{e}}}
    case Done{h}:
      M{n, 0, f, 1n+i, Done{Unit{}}}

Uses (9):
  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=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/types/doubly_linked_list.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend&name=Handle