Parameter Make.S

type _ t

The abstract type used for the stream denotation.

val build : 'a Builder.t

Build a fresh Stream using the parametric parser and a stream.

val position : 'a t -> int

Provides the current absolute position in the stream. This reflect the number of read elements from the stream.

val is_empty : 'a t -> bool

Predicate checking is the stream has at least one element or not.

val next : 'a t -> 'a option * 'a t

Provide the next token if possible and the next stream.