AlphaGitHub
Source/Packages

Runtime.OrderedCombine

packages/execution/src/Runtime/OrderedCombine.alpha

329 lines62 declarations11.3 KiBSHA-256 c7d6a83584b8
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 304–309

combineNumericalAnchor

Full file
304def combineNumericalAnchor =
305  (lambda unrestricted contract : (family NumericalContract) .
306    (lambda unrestricted anchor : (family RegionTransferIdentity) .
307      (combineRepresentationAnchor
308        (bytes-append b"numeric-contract-v1" (numericalExactContractDigest contract))
309        anchor)))

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.