353def evaluateCoreNaturalOperation =
354 (lambda unrestricted operation : (family CoreNaturalOperation) .
355 (eliminate
356 CoreNaturalOperation
357 (lambda unrestricted current : (family CoreNaturalOperation) .
358 (pi unrestricted left : Bytes .
359 (pi unrestricted right : Bytes . (family NaturalMagnitudeResult))))
360 operation
361 (branch CoreNaturalAdd . Compiler.NaturalMagnitude/magnitudeAddChecked)
362 (branch CoreNaturalSubtract . Compiler.NaturalMagnitude/magnitudeSubtractChecked)
363 (branch CoreNaturalMultiply . Compiler.NaturalMagnitude/magnitudeMultiplyChecked)
364 (branch CoreNaturalDivide . Compiler.NaturalMagnitude/magnitudeDivideChecked)
365 (branch CoreNaturalModulo . Compiler.NaturalMagnitude/magnitudeModuloChecked)))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.