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

module Liquid.Prelude.Real where

import GHC.Num