1058def jsonInteger =
1059 (lambda unrestricted value : (family JSON) .
1060 (eliminate
1061 JSON
1062 (lambda unrestricted current : (family JSON) . (family JSONIntegerAccessResult))
1063 value
1064 (branch
1065 JSONObject
1066 members
1067 membersInduction
1068 .
1069 (constructor
1070 JSONIntegerAccessResult
1071 JSONIntegerAccessFailed
1072 (constructor JSONErrorCode JSONExpectedNumber)))
1073 (branch
1074 JSONObjectEnd
1075 .
1076 (constructor
1077 JSONIntegerAccessResult
1078 JSONIntegerAccessFailed
1079 (constructor JSONErrorCode JSONExpectedNumber)))
1080 (branch
1081 JSONObjectMember
1082 key
1083 member
1084 tail
1085 memberInduction
1086 tailInduction
1087 .
1088 (constructor
1089 JSONIntegerAccessResult
1090 JSONIntegerAccessFailed
1091 (constructor JSONErrorCode JSONExpectedNumber)))
1092 (branch
1093 JSONArray
1094 values
1095 valuesInduction
1096 .
1097 (constructor
1098 JSONIntegerAccessResult
1099 JSONIntegerAccessFailed
1100 (constructor JSONErrorCode JSONExpectedNumber)))
1101 (branch
1102 JSONArrayEnd
1103 .
1104 (constructor
1105 JSONIntegerAccessResult
1106 JSONIntegerAccessFailed
1107 (constructor JSONErrorCode JSONExpectedNumber)))
1108 (branch
1109 JSONArrayNext
1110 head
1111 tail
1112 headInduction
1113 tailInduction
1114 .
1115 (constructor
1116 JSONIntegerAccessResult
1117 JSONIntegerAccessFailed
1118 (constructor JSONErrorCode JSONExpectedNumber)))
1119 (branch
1120 JSONString
1121 text
1122 .
1123 (constructor
1124 JSONIntegerAccessResult
1125 JSONIntegerAccessFailed
1126 (constructor JSONErrorCode JSONExpectedNumber)))
1127 (branch JSONNumber number . (jsonIntegerFromBytes number))
1128 (branch
1129 JSONBoolean
1130 boolean
1131 .
1132 (constructor
1133 JSONIntegerAccessResult
1134 JSONIntegerAccessFailed
1135 (constructor JSONErrorCode JSONExpectedNumber)))
1136 (branch
1137 JSONNull
1138 .
1139 (constructor
1140 JSONIntegerAccessResult
1141 JSONIntegerAccessFailed
1142 (constructor JSONErrorCode JSONExpectedNumber)))))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.