liquidhaskell-0.8.10.7: liquid-base/src/Liquid/Prelude/NotReal.hs

module Liquid.Prelude.NotReal where

import GHC.Num
import GHC.Real