1337def combineResolvedConstructorApplication :
1338 (pi unrestricted familyName : Bytes .
1339 (pi unrestricted constructorName : Bytes .
1340 (pi unrestricted argumentResult : (family CoreResolutionResult) .
1341 (family CoreResolutionResult)))) =
1342 (lambda unrestricted familyName : Bytes .
1343 (lambda unrestricted constructorName : Bytes .
1344 (lambda unrestricted argumentResult : (family CoreResolutionResult) .
1345 (eliminate
1346 CoreResolutionResult
1347 (lambda unrestricted value : (family CoreResolutionResult) .
1348 (family CoreResolutionResult))
1349 argumentResult
1350 (branch
1351 CoreResolved
1352 arguments
1353 .
1354 (constructor
1355 CoreResolutionResult
1356 CoreResolved
1357 (constructor CoreTerm CoreConstructorApplication familyName constructorName arguments)))
1358 (branch
1359 CoreResolutionFailed
1360 identifier
1361 .
1362 (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.