DefinedFunctionSymbol

Syntax call
DefinedFunctionSymbol[ , ... , ]
Input
a sequence , ... , of Mathematica expressions. is either a Mathematica symbol
or a type signature "7
Output
the list { , ... , } where 1<= "ï<=<=n such that is not an already declared function symbol
Effect
declare , ... , as constructors by extending the default definition of IsDefinedFunctionSymbol
and append to $FunctionSymbol the pairs {,} where is the arity of , 1 <= j <= m ;
if ≡ then assign to a unique constant type
else ≡ "7 and then assign to the type ∀.
Implementation