Deque.ready_front: def of bend-collections-laws-math@1.0.0.0
Import: import bend-collections-laws-math@1.0.0.0/src/containers/deque.bend as Deque
Lines 54-59 of bend-collections-laws-math@1.0.0.0/src/containers/deque.bend: https://jend.leeeet.dev/read.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/deque.bend&start_line=54&end_line=59

import Base

def ready_front(~T: Data, d: Deque<T>) -> Deque<T>:
  match d:
    case DE{Nil{}, b, nf, +nb}:
      move_front(~T, b, nb, Nat.div(nb, 2n))
    case DE{Con{x, f}, b, nf, nb}:
      DE{Con{x, f}, 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-laws-math@1.0.0.0/src/containers/deque.bend&name=Deque
  https://jend.leeeet.dev/definition.txt?path=bend-collections-laws-math@1.0.0.0/src/containers/deque.bend&name=move_front