functor (Structure : Structure.S) ->
  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 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
  end