HomeIsabelle/Phabricator

pointer_eq_ord: minor performance tuning;