Question: Maple types.

What Maple type should I use so that test1 and test2 are always equal? (I use Maple 2017)

 

test1 := proc(x) type([op('x')], identical(['x'])) end;
MapleType := anything;
test2 := proc(x) type(x, MapleType) end;

 

Please Wait...