HomeIsabelle/Phabricator

RealTimeDeque: replace `reverseN` with `take_rev