| 125 | |
| 126 | template <class View> |
| 127 | ExecStatus |
| 128 | PushToEnd<View>::post(Space& home, |
| 129 | ViewArray<View>& x0, View y0, int val0) { |
| 130 | (void) new (home) PushToEnd<View>(home,x0,y0,val0); |
| 131 | return ES_OK; |
| 132 | } |
| 133 | |
| 134 | template <class View> |
| 135 | inline |