Question: Semantics of "->"?

example1 := (x -> (2 + 3));
example2 := (x -> int(1, y));

When I execute these, Maple evaluates the "2 + 3" into 5, but it does not evaluate the "int(1, y)" into "y". Why does it evaluate the former but not the latter?

Also, how can I modifiy example 2 so that it evaluates the "int(1, y)" and returns "x -> y"?

Please Wait...