-- | Real addition.
--
-- > realPlus : Real -> Real -> Real
-- > realPlus x y = x + y
e_realPlus :: Entity
e_realPlus = prim2 "realPlus" ((+) :: Double -> Double -> Double)
e_realPlus :: Entity
e_realPlus = prim2 "realPlus" ((+) :: Double -> Double -> Double)
e_realPlus = prim2 "realPlus" ((+) :: Double -> Double -> Double)