module X:sig
..end
A module of extensions for working with input sequences that require position information in the parse function.
type (S.t #Cf_parser.cursor, 'a)
r
The type of a rule for recognizing a sequence of symbols in a stream woven with a cursor stream and according to the regular grammar of an automaton and producing an output token.
type(S.t #Cf_parser.cursor, 'a)
t =(S.t #Cf_parser.cursor as 'b, S.t, 'a) Cf_parser.X.t
An extended parser that works on pairs of symbols and cursor objects and used in the automaton.
module type Op_T =sig
..end
The signature of the Op
module, which contains the composition
operators.
module Op:Op_T
Open this module to bring the composition operators into the current scope.
val create : (S.t #Cf_parser.cursor as 'b, 'a) r -> ('b, 'a) t
Use create r
to construct a parser that recognizes the longest
sequence that matches the rule r
.