Returns: The type expression exp evaluates to.
Synopsis: This function immediately forces a complete evaluation of exp.
Examples:
> z := eval(5 + 5); > t := eval(noeval(UserStructure(data)));
See also: noeval