## `Type::AnyType` -- a type representing arbitrary MuPAD objects

#### Introduction

`Type::AnyType` represents arbitrary MuPAD objects.

#### Call(s)

`testtype(obj, Type::AnyType)`

#### Parameters

`obj` | - | any MuPAD object

#### Returns

`testtype` always returns `TRUE`

#### Related Functions

`testtype`

#### Details

- This type is meant to represent arbitrary MuPAD objects in constructors of composite types such as `Type::ListOf`.
- This type does not represent a property: it cannot be used in `assume`.

#### Example 1

Any object matches this type:

    >> testtype(3, Type::AnyType),
       testtype(x, Type::AnyType),
       testtype(array(1..1, [x]), Type::AnyType),
       testtype(Dom::Matrix(), Type::AnyType)

                              TRUE, TRUE, TRUE, TRUE

This type is meant for constructing composite types. The following call tests, whether an object is a list with arbitrary elements:

    >> testtype([3, x, array(1..1, [x]), Dom::Matrix()],
                Type::ListOf(Type::AnyType))

                                       TRUE

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000