# Module Cf_dfa.T.X

    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`.