923def parserQuoteIsEscaped =
924 (lambda unrestricted quoteState : Nat .
925 (nat-eliminate
926 (lambda unrestricted value : Nat . Nat)
927 zero
928 (lambda unrestricted pred2 : Nat .
929 (lambda unrestricted unused : Nat .
930 (nat-eliminate
931 (lambda unrestricted value : Nat . Nat)
932 zero
933 (lambda unrestricted pred1 : Nat .
934 (lambda unrestricted unused : Nat .
935 (nat-eliminate
936 (lambda unrestricted value : Nat . Nat)
937 (succ zero)
938 (lambda unrestricted predecessor : Nat .
939 (lambda unrestricted unused : Nat . zero))
940 pred1)))
941 pred2)))
942 quoteState))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.