896def parserStripIsComment =
897 (lambda unrestricted stripState : Nat .
898 (nat-eliminate
899 (lambda unrestricted value : Nat . Nat)
900 zero
901 (lambda unrestricted pred3 : Nat .
902 (lambda unrestricted unused : Nat .
903 (nat-eliminate
904 (lambda unrestricted value : Nat . Nat)
905 zero
906 (lambda unrestricted pred2 : Nat .
907 (lambda unrestricted unused : Nat .
908 (nat-eliminate
909 (lambda unrestricted value : Nat . Nat)
910 zero
911 (lambda unrestricted pred1 : Nat .
912 (lambda unrestricted unused : Nat .
913 (nat-eliminate
914 (lambda unrestricted value : Nat . Nat)
915 (succ zero)
916 (lambda unrestricted predecessor : Nat .
917 (lambda unrestricted unused : Nat . zero))
918 pred1)))
919 pred2)))
920 pred3)))
921 stripState))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.