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 'ac#advance i to construct a new object corresponding to the
new input position after reading an input symbol i.method position : int