member¶

Description¶

@member(x,y)

Equivalent to $x \in y$

if x in y, return true
otherwise, return false

Type Rules¶

High-level

Real   , Real    -> bool
sym    , sym     -> bool
str    , str     -> bool
complex, complex -> bool
month  , month   -> bool
date   , date    -> bool
dt     , dt      -> bool
hour   , hour    -> bool
second , second  -> bool
time   , time    -> bool
_      , _       -> domain error

Table with details (See type alias)

member

Shape Rules¶

Shape left rules

Examples¶

    @member((-1,2,3):i32, (1,3,-1):i32)
(1,0,1):bool