| 
 | 
 | ||||||||||||||||
The Push instruction owns the element.
| Push (Element* e) | Push | 
Element is owned by Push. Caller must not delete element.
Parameters:
| e | element associated with push. | 
| ~Push () | ~Push | 
| INSTR_VISITABLE () | INSTR_VISITABLE | 
| const Element&  elem () | elem | 
[const]
Returns: element associated with push.