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

I actually thought about removing the second match case, since almost all the time, you remove elements out of a non empty deque :)
You could match on {rear = [a]}, but I fail to see how it would be better.