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