Lines Matching defs:push
660 fun push t (cs, p) = Some ((cs, push_pstack p t), ())
1053 push ((NonTerminal (#1 newterm),lrlocn'), XXX)
1063 push ((NonTermVS [(VS_AQ a,locn)],locn), tt)
1065 push ((NonTerminal (AQ a),locn), tt))
1158 push (thing_to_push, Token tt)
1166 push ((NonTerminal (TYPED ((t,llocn), (ty,rlocn))),
1174 push ((NonTermVS
1188 push ((NonTerminal (TYPED(nonterm0, type_annotation)), rlocn), XXX)
1268 repeatn 4 pop >> push (liftlocn NonTerminal abs_t, XXX)
1282 push vsl (* don't bother expanding locn; would add no useful info *)
1296 push ((NonTermVS [(VPAIR(hd vsl2, hd vsl1),lrlocn)],lrlocn), XXX)
1302 push ((NonTermVS
1326 push ((NonTermVS(List.concat (List.mapPartial get_vsls rhs)),
1364 push ((Terminal terminal,locn), valOf x) >>
1448 push ((NonTerminal (VAR s),lrlocn), XXX)
1450 push ((NonTermVS [(SIMPLE s,lrlocn)],lrlocn), XXX))
1539 push ((Terminal BOS,locn.Loc_None), XXX) >> get_item >>
1698 pop >> push (NonTerminal(remove_specials t), XXX)