5774def parserFingerprint : Nat =
5775 (eliminate
5776 Term
5777 (lambda unrestricted term : (family Term) . Nat)
5778 parserSample
5779 (branch Variable spelling . zero)
5780 (branch Universe level . (succ zero))
5781 (branch NaturalType . (succ (succ zero)))
5782 (branch NaturalZero . (succ (succ (succ (succ (succ (succ (succ zero))))))))
5783 (branch
5784 NaturalLiteral
5785 naturalLiteralValue
5786 .
5787 (succ (succ (succ (succ (succ (succ (succ zero))))))))
5788 (branch NaturalSuccessor predecessor ih_predecessor . zero)
5789 (branch Application function argument ih_function ih_argument . zero)
5790 (branch NaturalArithmetic operation function argument ih_function ih_argument . zero)
5791 (branch Lambda quantityTag binderSpelling domain body ih_domain ih_body . zero)
5792 (branch Pi quantityTag binderSpelling domain codomain ih_domain ih_codomain . zero)
5793 (branch BytesType . zero)
5794 (branch BytesLiteral bytesValue . zero)
5795 (branch ByteType . zero)
5796 (branch ByteLiteral byteValue . zero)
5797 (branch TermSequenceEnd . zero)
5798 (branch TermSequenceNext sequenceHead sequenceTail ih_sequenceHead ih_sequenceTail . zero)
5799 (branch TermEliminatorBranch constructorSpelling binderNames body ih_binderNames ih_body . zero)
5800 (branch FamilyApplication familySpelling familyArguments ih_familyArguments . zero)
5801 (branch
5802 ConstructorApplication
5803 familySpelling
5804 constructorSpelling
5805 constructorArguments
5806 ih_constructorArguments
5807 .
5808 zero)
5809 (branch
5810 Eliminator
5811 eliminatedFamilySpelling
5812 motive
5813 scrutinee
5814 branches
5815 ih_motive
5816 ih_scrutinee
5817 ih_branches
5818 .
5819 zero)
5820 (branch Match family scrutinee branches ih_scrutinee ih_branches . zero)
5821 (branch MatchWith family motive scrutinee branches ih_motive ih_scrutinee ih_branches . zero)
5822 (branch IntegerLiteral integerLiteralSpelling . zero)
5823 (branch RecordConstruction name origin bindings ih_bindings . zero)
5824 (branch RecordAssignment name origin value ih_value . zero)
5825 (branch RecordProjection name field origin value ih_value . zero)
5826 (branch RecordUpdate name origin value bindings ih_value ih_bindings . zero)
5827 (branch
5828 LocalLet
5829 quantity
5830 binder
5831 hasAnnotation
5832 annotation
5833 value
5834 body
5835 ih_annotation
5836 ih_value
5837 ih_body
5838 .
5839 zero)
5840 (branch DoBlock effects result body ih_effects ih_result ih_body . zero)
5841 (branch
5842 DoStep
5843 named
5844 quantity
5845 binder
5846 computation
5847 continuation
5848 ih_computation
5849 ih_continuation
5850 .
5851 zero)
5852 (branch DoReturn value ih_value . zero))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.