liquid-base-4.14.0.0: src/Liquid/Prelude/NotReal.hs

module Liquid.Prelude.NotReal where

import GHC.Num
import GHC.Real