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

module Liquid.Prelude.Real where

import GHC.Num