1159def combineResolvedLetValue =
1160 (lambda unrestricted multiplicity : (family CoreMultiplicity) .
1161 (lambda unrestricted annotation : (family CoreTerm) .
1162 (lambda unrestricted valueResult : (family CoreResolutionResult) .
1163 (lambda unrestricted bodyResult : (family CoreResolutionResult) .
1164 (eliminate
1165 CoreResolutionResult
1166 (lambda unrestricted current : (family CoreResolutionResult) .
1167 (family CoreResolutionResult))
1168 valueResult
1169 (branch
1170 CoreResolved
1171 value
1172 .
1173 (eliminate
1174 CoreResolutionResult
1175 (lambda unrestricted current : (family CoreResolutionResult) .
1176 (family CoreResolutionResult))
1177 bodyResult
1178 (branch
1179 CoreResolved
1180 body
1181 .
1182 (constructor
1183 CoreResolutionResult
1184 CoreResolved
1185 (constructor CoreTerm CoreLet multiplicity annotation value body)))
1186 (branch
1187 CoreResolutionFailed
1188 identifier
1189 .
1190 (constructor CoreResolutionResult CoreResolutionFailed identifier))))
1191 (branch
1192 CoreResolutionFailed
1193 identifier
1194 .
1195 (constructor CoreResolutionResult CoreResolutionFailed identifier)))))))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.