tree d3232df3d01807eaa488812cc6f6e19d5ac9cdad
parent 9db25860147cb96ab64291b99ea099e9e6504fad
author Natalie Weizenbaum <nweiz@google.com> 1522789172 -0700
committer Natalie Weizenbaum <nweiz@google.com> 1522789172 -0700

Implement strictlyHigher() in terms of strictlyLower()