456def integerLiteralThen =
457 (lambda unrestricted step : (family IntegerLiteralU64StepResult) .
458 (lambda unrestricted continue : (pi unrestricted value : (family ModelWord64) . (family IntegerLiteralU64StepResult)) .
459 (eliminate
460 IntegerLiteralU64StepResult
461 (lambda unrestricted current : (family IntegerLiteralU64StepResult) .
462 (family IntegerLiteralU64StepResult))
463 step
464 (branch IntegerLiteralU64StepSucceeded value . (continue value))
465 (branch
466 IntegerLiteralU64StepFailed
467 .
468 (constructor IntegerLiteralU64StepResult IntegerLiteralU64StepFailed)))))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.