sliquister/batteries-included — comment on commit e951adcc1770d201665face692156c53c462957c
File: src/batDeque.ml line 63
By thelema:

I don't think we can remove the second match case. We could put it last, to de-emphasize it. As for handling `{rear=[a]}`, there would be a small savings in avoiding the size computation, splitting and reversal, as a could be returned with the empty dequeue. It might be worth it for some applications, but it wouldn't hurt to check its cost. If you're interested in doing this, have a look at the `benchsuite/` directory