Lines Matching defs:get
20 and apply the unit -> value function in it to get the answer.
86 val get : 'a queue -> 'a * 'a queue
124 fun get(a::x, y) = (a, (x,y))
125 | get(nil, nil) = raise Empty
126 | get(nil, y) = get(rev y, nil)
210 val newLexPair = Stream.get lexer
211 val (_,newQueue) =Fifo.get(Fifo.put((newStack,newLexPair),
259 val newLexPair = Stream.get lexer
298 let fun f q = let val (elem,newQueue) = Fifo.get q
380 else del(n-1,tok::accum,left,r,Stream.get lexer)
401 tryChange{lex=Stream.get lexer,stack=stack,
415 then SOME([tok],l,r,Stream.get lp')
419 then case do_delete(rest,Stream.get lp')
501 val lp1 = foldl(fn (_,(_,r)) => Stream.get r) lexPair orig
522 val lexPair = Stream.get lexer