The call type(expr, indexed) checks if expr is of type indexed. It returns true if expr is of type indexed, and false otherwise.

If a parameter itype is given, the type command also checks if each of the indices are of type itype.