{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"UndoLog::IntUnificationTable(undo)"}]}
            UndoLog::IntUnificationTable(undo) => self.int_unification_storage.reverse(undo),
            UndoLog::ConstUnificationTable(undo) => self.const_unification_storage.reverse(undo),
            UndoLog::FloatUnificationTable(undo) => self.float_unification_storage.reverse(undo),