in - Maple Help

type/in

check for an expression of type in

 Calling Sequence type(expr, 'in')

Parameters

 expr - any expression

Description

 • The type(expr, 'in') function checks for expressions that are formed using the infix operator in. For more information about the in operator, see in.

Examples

 > $\mathrm{type}\left(a\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{in}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}b,'\mathrm{in}'\right)$
 ${\mathrm{true}}$ (1)
 > $\mathrm{type}\left(a\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{in}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}b⇒a\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{in}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}c,'\mathrm{in}'\right)$
 ${\mathrm{false}}$ (2)