text: var classtracer_1_1internal_1_1asymbol_r_a_i_i =
  [
      [ "~asymbolRAII", "classtracer_1_1internal_1_1asymbol_r_a_i_i.html#a0d4cfca60c503944a3c9f98e31f3da9a", null ],
      [ "operator()", "classtracer_1_1internal_1_1asymbol_r_a_i_i.html#af91ac1e9344299672b7344087400618a", null ],
      [ "symbols", "classtracer_1_1internal_1_1asymbol_r_a_i_i.html#a273f43303dfdc0ee6e593963dfaff0e1", null ]
  ];