r3 var move page_location
from_location to_location
key
Moves a var from one location to another. If
to_location is more generic than
from_location, the move acts like a promote
operation. If to_location is less generic
than from_location, the move will cause a
specialize (i.e, a copy) operation.
move | mv
none