def ready_back

bend-collections-laws-math@1.0.0.0 · src/containers/deque.bend:61

import Base

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