sig
type ('a, 'b) r constraint 'a = S.t #Cf_parser.cursor
type ('a, 'b) t = ('a, S.t, 'b) Cf_parser.X.t
constraint 'a = S.t #Cf_parser.cursor
module type Op_T =
sig
val ( $| ) : x -> x -> x
val ( $& ) : x -> x -> x
val ( !* ) : x -> x
val ( !+ ) : x -> x
val ( !? ) : x -> x
val ( !: ) : S.t -> x
val ( !^ ) : (S.t -> bool) -> x
val ( !~ ) : S.t Cf_seq.t -> x
val ( $= ) :
Cf_dfa.T.x -> 'a -> (S.t #Cf_parser.cursor, 'a) Cf_dfa.T.X.r
val ( $> ) :
Cf_dfa.T.x ->
(S.t Cf_seq.t -> 'a) -> (S.t #Cf_parser.cursor, 'a) Cf_dfa.T.X.r
val ( $@ ) :
Cf_dfa.T.x ->
(int -> (S.t #Cf_parser.cursor as 'a, 'b) Cf_dfa.T.X.t) ->
('a, 'b) Cf_dfa.T.X.r
val ( !@ ) :
(S.t #Cf_parser.cursor as 'a, 'b) Cf_dfa.T.X.r list ->
('a, 'b) Cf_dfa.T.X.r
end
module Op : Op_T
val create :
(S.t #Cf_parser.cursor as 'a, 'b) Cf_dfa.T.X.r -> ('a, 'b) Cf_dfa.T.X.t
end