Question: How to get all the types a variable verifies?

Hi, 

 

Does it exist a way to get all the types a variable verifies?
For instance
x:=4;
type(x, t); # true for t in {positive, posint, algebraic, ...}

Thanks in advance

Please Wait...