liquidhaskell-0.8.10.7: benchmarks/esop2013-submission/Base.hquals
qualif Bound1(v: Data.Map.Base.Map k a , x : k): ((isBin v) => (x < (key v))) qualif Bound2(v: Data.Map.Base.Map k a , x : k): ((isBin v) => (x > (key v)))
qualif Bound1(v: Data.Map.Base.Map k a , x : k): ((isBin v) => (x < (key v))) qualif Bound2(v: Data.Map.Base.Map k a , x : k): ((isBin v) => (x > (key v)))