type/type - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Programming : Data Types : Type Checking : Types : type/type

type/type

check for type expressions

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(a, type)

Parameters

a

-

any expression

Description

• 

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.

Examples

typeinteger,type

true

(1)

typea,type

false

(2)

typename=numeric..numeric,type

true

(3)

mytypeinteger,name,list

mytypeinteger,list,name

(4)

typemytype,type

true

(5)

See Also

indets

type

type/structured