36family QuotedByteState : Type 0
37constructor QuotedNormal
38constructor QuotedEscape
39field unrestricted escapeStart : Nat
40constructor QuotedHexHigh
41field unrestricted hexStart : Nat
42constructor QuotedHexLow
43field unrestricted lowHexStart : Nat
44field unrestricted highHexDigit : Nat
45constructor QuotedFailureTail
46field unrestricted failureTailKind : (family QuotedLiteralFailure)
47field unrestricted failureTailStart : Nat
48field unrestricted failureTailRemaining : Nat
49constructor QuotedClosedThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.