{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"IntUnificationTable(sv::UndoLog<ut::Delegate<ty::IntVid>>),"}]}
    IntUnificationTable(sv::UndoLog<ut::Delegate<ty::IntVid>>),
    TypeVariables(sv::UndoLog<ut::Delegate<type_variable::TyVidEqKey<'tcx>>>),
    FloatUnificationTable(sv::UndoLog<ut::Delegate<ty::FloatVid>>),