DlistIterator.move_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 100-105 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=100&end_line=105

import Base

def move_meta(~T: Data, n: U32, last: U32, f: Bool, +i: Nat, h: U32, next: U32, +forward: Bool, r: Result<&2, &2, Error, T>) -> Move<T>:
  match r:
    case Fail{e}:
      M{n, last, f, i, Fail{e}}
    case Done{x}:
      M{next, h, forward, choose(Nat, forward, 1n+i, Nat.sub(i, 1n)), Done{x}}

Uses (8):
  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=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