type/ - Maple Programming Help

Online Help

All Products    Maple    MapleSim


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

type/<

check for a strict inequality

type/<=

check for an inequality

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(expr, `<`)

type(expr, `<=`)

Parameters

expr

-

any expression

Description

• 

The call type(expr, `<`) checks if expr is of type `<`, that is, if it is a strict inequality. It returns true if expr is of type `<`, and false otherwise.

• 

The call type(expr, `<=`) checks if expr is of type `<=`, that is, if it is an inequality. It returns true if expr is of type `<=`, and false otherwise.

• 

Both types `<` and `<=` are surface type checks, and are therefore very fast. The supertypes relation and boolean include both kinds of inequality.

Examples

typea<b&comma;&apos;`<`&apos;

true

(1)

typeab&comma;&apos;`<`&apos;

false

(2)

typea<b&comma;&apos;`<=`&apos;

false

(3)

typeab&comma;&apos;`<=`&apos;

true

(4)

See Also

type

type/boolean

type/relation

type/structure