The opposite comparison: what `stdOrderCompare y x` would say.
178def stdOrderReverse =
179 (lambda unrestricted value : (family StdOrder) .
180 (eliminate
181 StdOrder
182 (lambda unrestricted current : (family StdOrder) . (family StdOrder))
183 value
184 (branch StdLess . (constructor StdOrder StdGreater))
185 (branch StdEqual . (constructor StdOrder StdEqual))
186 (branch StdGreater . (constructor StdOrder StdLess))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.