818def jsonNull =
819 (lambda unrestricted value : (family JSON) .
820 (eliminate
821 JSON
822 (lambda unrestricted current : (family JSON) . (family JSONNullAccessResult))
823 value
824 (branch
825 JSONObject
826 members
827 membersInduction
828 .
829 (constructor
830 JSONNullAccessResult
831 JSONNullAccessFailed
832 (constructor JSONErrorCode JSONExpectedNull)))
833 (branch
834 JSONObjectEnd
835 .
836 (constructor
837 JSONNullAccessResult
838 JSONNullAccessFailed
839 (constructor JSONErrorCode JSONExpectedNull)))
840 (branch
841 JSONObjectMember
842 key
843 member
844 tail
845 memberInduction
846 tailInduction
847 .
848 (constructor
849 JSONNullAccessResult
850 JSONNullAccessFailed
851 (constructor JSONErrorCode JSONExpectedNull)))
852 (branch
853 JSONArray
854 values
855 valuesInduction
856 .
857 (constructor
858 JSONNullAccessResult
859 JSONNullAccessFailed
860 (constructor JSONErrorCode JSONExpectedNull)))
861 (branch
862 JSONArrayEnd
863 .
864 (constructor
865 JSONNullAccessResult
866 JSONNullAccessFailed
867 (constructor JSONErrorCode JSONExpectedNull)))
868 (branch
869 JSONArrayNext
870 head
871 tail
872 headInduction
873 tailInduction
874 .
875 (constructor
876 JSONNullAccessResult
877 JSONNullAccessFailed
878 (constructor JSONErrorCode JSONExpectedNull)))
879 (branch
880 JSONString
881 text
882 .
883 (constructor
884 JSONNullAccessResult
885 JSONNullAccessFailed
886 (constructor JSONErrorCode JSONExpectedNull)))
887 (branch
888 JSONNumber
889 number
890 .
891 (constructor
892 JSONNullAccessResult
893 JSONNullAccessFailed
894 (constructor JSONErrorCode JSONExpectedNull)))
895 (branch
896 JSONBoolean
897 boolean
898 .
899 (constructor
900 JSONNullAccessResult
901 JSONNullAccessFailed
902 (constructor JSONErrorCode JSONExpectedNull)))
903 (branch JSONNull . (constructor JSONNullAccessResult JSONNullAccessSucceeded))))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.