TypeTools - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : TypeTools : TypeTools/Exists

TypeTools

  

Exists

  

check whether a type exists in the TypeTools database

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Exists(typename)

Parameters

typename

-

symbol; name of the type

Description

• 

The Exists command returns true if a type is associated with the name typename via the TypeTools package, and false otherwise.

• 

Note that the Exists command does not check whether a name is the name of a valid type, since built-in types and types created by assigning to the name type/typename are not recognized.

• 

To determine whether a name is the name of a valid type, use type( typename, 'type' ).

Examples

TypeToolsAddTypetff,identicalFAIL,identicalfalse,identicaltrue

TypeToolsExiststff

true

(1)

TypeToolsExistsno_such_type__

false

(2)

TypeToolsExistsinteger

false

(3)

typeinteger,type

true

(4)

See Also

type

type[structured]

TypeTools

TypeTools[AddType]

TypeTools[GetTypes]