-- | Integer addition.
--
-- > intPlus : Integer -> Integer -> Integer
-- > intPlus x y = x + y
e_intPlus :: Entity
e_intPlus = prim2 "intPlus" ((+) :: Integer -> Integer -> Integer)
e_intPlus :: Entity
e_intPlus = prim2 "intPlus" ((+) :: Integer -> Integer -> Integer)
e_intPlus = prim2 "intPlus" ((+) :: Integer -> Integer -> Integer)