-- | Integer product.
--
-- > intProd : Integer -> Integer -> Integer
-- > intProd x y = x * y
e_intProd :: Entity
e_intProd = prim2 "intProd" ((*) :: Integer -> Integer -> Integer)
e_intProd :: Entity
e_intProd = prim2 "intProd" ((*) :: Integer -> Integer -> Integer)
e_intProd = prim2 "intProd" ((*) :: Integer -> Integer -> Integer)