tree 6ba82c73d2996d12de861f847a4658bf3dc1dfb0
parent cd08691f39b6ff6f51bbf20ad129fc3f61102449
author Natalie Weizenbaum <nweiz@google.com> 1522789172 -0700
committer Natalie Weizenbaum <nweiz@google.com> 1522789172 -0700

Implement strictlyHigher() in terms of strictlyLower()