class['i]
cursor :int ->
object
..end
#cursor
class type is used in the X
module defined below.val position_ : int
The current position
method advance : 'i -> < advance : 'a; position : int; .. > as 'a
c#advance i
to construct a new object corresponding to the
new input position after reading an input symbol i
.method position : int