sig
  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 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
end