def ready_front

bend-collections@1.0.0.0 · src/containers/deque.bend:54

import Base

54def ready_front(~T: Data, d: Deque<T>) -> Deque<T>:
55  match d:
56    case DE{Nil{}, b, nf, +nb}:
57      move_front(~T, b, nb, Nat.div(nb, 2n))
58    case DE{Con{x, f}, b, nf, nb}:
59      DE{Con{x, f}, b, nf, nb}