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.