Deque.ready_back: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/deque.bend as Deque
Lines 61-66 of bend-collections@1.0.0.0/src/containers/deque.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/deque.bend&start_line=61&end_line=66

import Base

def ready_back(~T: Data, d: Deque<T>) -> Deque<T>:
  match d:
    case DE{f, Nil{}, +nf, nb}:
      move_back(~T, f, nf, Nat.div(nf, 2n))
    case DE{f, Con{x, b}, nf, nb}:
      DE{f, Con{x, b}, nf, nb}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.div
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/deque.bend&name=Deque
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/containers/deque.bend&name=move_back