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