Module util
c2rust_refactor
Miscellaneous utility functions.
Defines Cursor, a helper type for editing sequences.
Cursor
Worklist algorithm for finding fixed points.
Move the lone item out of a 1-element container.