Lines Matching defs:Stream
114 structure Stream: STREAM
123 lexer : ('_b,'_c) Token.token Stream.stream,
144 (('_b,'_c) Token.token Stream.stream)
260 structure Stream : STREAM
283 (svalue,pos) Token.token Stream.stream
290 val parse : int * ((svalue,pos) Token.token Stream.stream) *
292 result * (svalue,pos) Token.token Stream.stream
305 structure Stream : STREAM
315 (svalue,pos) Token.token Stream.stream
316 val parse : int * ((svalue,pos) Token.token Stream.stream) *
318 result * (svalue,pos) Token.token Stream.stream