check for type expressions
The call type(a, type) checks to see if a is a valid type expression. By definition, a type expression is any expression a for which the command type(expr, a) could succeed.
A type defined by the system (such as integer, numeric, and name), a type defined by a procedure (`type/a`), a type defined by an assignment, or a combination of types are valid type expressions.
mytype ≔ integer,name,list
Download Help Document
What kind of issue would you like to report? (Optional)