Module Camlp4.Struct.Grammar.Entry.Make.Tools


module Tools: Camlp4.Struct.Grammar.Tools.Make(Structure)

val empty_entry : string -> 'a -> 'b
val stream_map : ('a -> 'b) -> 'a Stream.t -> 'b Stream.t
val keep_prev_loc : ('a * Structure.Loc.t) Stream.t -> ('a * Structure.token_info) Stream.t
val drop_prev_loc : ('a * Structure.token_info) Stream.t -> ('a * Structure.Loc.t) Stream.t
val get_cur_loc : ('a * Structure.token_info) Stream.t -> Structure.Loc.t
val get_prev_loc : ('a * Structure.token_info) Stream.t -> Structure.Loc.t
val is_level_labelled : string -> Structure.level -> bool
val warning_verbose : bool Pervasives.ref
val get_token_list : 'a ->
Structure.symbol list ->
Structure.symbol ->
Structure.tree ->
(Structure.symbol list * Structure.symbol * Structure.tree) option
val is_antiquot : string -> bool
val eq_Stoken_ids : string -> string -> bool
val logically_eq_symbols : Structure.internal_entry -> Structure.symbol -> Structure.symbol -> bool
val eq_symbol : Structure.symbol -> Structure.symbol -> bool