Syntax call
Constructor[ , ... , ]
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 IsConstructor, append to
$FunctionSymbol, and define the Arity[] accordingly;
if ≡ then assign to a unique constant type
else ≡ "7 and then assign to the type ∀.
Implementation