Functor Camlp4.Struct.Grammar.Parser.Make


module Make: 
functor (Structure : Camlp4.Struct.Grammar.Structure.S) -> sig .. end
Parameters:
Structure : Camlp4.Struct.Grammar.Structure.S

module Tools: Camlp4.Struct.Grammar.Tools.Make(Structure)
module Failed: Camlp4.Struct.Grammar.Failed.Make(Structure)
module Print: Camlp4.Struct.Grammar.Print.Make(Structure)
module StreamOrig: Stream
val njunk : 'a Stream.t -> int -> unit
val loc_bp : ('a * Structure.token_info) Stream.t -> Structure.Loc.t
val loc_ep : ('a * Structure.token_info) Stream.t -> Structure.Loc.t
val drop_prev_loc : ('a * Structure.token_info) Stream.t -> ('a * Structure.Loc.t) Stream.t
val add_loc : Structure.Loc.t ->
(('a * Structure.token_info) Stream.t -> 'b) ->
('a * Structure.token_info) Stream.t -> 'b * Structure.Loc.t
val stream_peek_nth : 'a Stream.t -> int -> 'a option
module Stream: sig .. end
val try_parser : ('a Stream.t -> 'b) ->
'a Stream.t -> 'b
val level_number : Structure.internal_entry -> string -> int
val strict_parsing : bool Pervasives.ref
val strict_parsing_warning : bool Pervasives.ref
val top_symb : Structure.internal_entry -> Structure.symbol -> Structure.symbol
val top_tree : Structure.internal_entry -> Structure.tree -> Structure.tree
val entry_of_symb : Structure.internal_entry -> Structure.symbol -> Structure.internal_entry
val continue : Structure.internal_entry ->
Structure.Loc.t ->
Structure.Action.t ->
Structure.symbol ->
Structure.tree ->
((Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t) ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val skip_if_empty : Structure.Loc.t ->
('a * Structure.token_info) Stream.t ->
Structure.Action.t
val do_recover : (Structure.internal_entry ->
'a ->
'b ->
Structure.tree ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t) ->
Structure.internal_entry ->
'a ->
'b ->
Structure.Loc.t ->
Structure.Action.t ->
Structure.symbol ->
Structure.tree ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val recover : (Structure.internal_entry ->
'a ->
'b ->
Structure.tree ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t) ->
Structure.internal_entry ->
'a ->
'b ->
Structure.Loc.t ->
Structure.Action.t ->
Structure.symbol ->
Structure.tree ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val parser_of_tree : Structure.internal_entry ->
int ->
int ->
Structure.tree ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val parser_cont : ((Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t) ->
Structure.internal_entry ->
int ->
int ->
Structure.symbol ->
Structure.tree ->
Structure.Loc.t ->
Structure.Action.t ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val parser_of_token_list : (Structure.Loc.t ->
Structure.Action.t ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t) ->
Structure.symbol list ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val parser_of_symbol : Structure.internal_entry ->
int ->
Structure.symbol ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val parse_top_symb : Structure.internal_entry ->
Structure.symbol ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val start_parser_of_levels : Structure.internal_entry ->
int ->
Structure.level list ->
int ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val start_parser_of_entry : Structure.internal_entry ->
int ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val continue_parser_of_levels : Structure.internal_entry ->
int ->
Structure.level list ->
int ->
Structure.Loc.t ->
'a ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t
val continue_parser_of_entry : Structure.internal_entry ->
int ->
Structure.Loc.t ->
Structure.Action.t ->
(Structure.Token.t * Structure.token_info)
Stream.t -> Structure.Action.t