Lines Matching defs:Stream
29 structure Stream : STREAM) : LR_PARSER =
37 structure Stream = Stream
68 lexer : ('_b,'_c) token Stream.stream,
98 ('_b,'_c) token * ('_b,'_c) token Stream.stream,
102 of SHIFT s => parseStep(Stream.get lexer, (s,value) :: stack)
114 in (topvalue,Stream.cons(token,lexer))
116 val next as (TOKEN (terminal,(_,leftPos,_)),_) = Stream.get lexer
125 structure Stream = Stream);