First-order reversal accumulator: `utf8ReverseRemaining` is the list still to
move, `utf8ReverseAccumulated` is the reversed prefix already built.
195family UTF8CodepointsReverseState : Type 0
196constructor UTF8CodepointsReverseStateValue
197field unrestricted utf8ReverseRemaining : (family UTF8Codepoints)
198field unrestricted utf8ReverseAccumulated : (family UTF8Codepoints)The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.