AlphaGitHub
Source/Packages

Learning.Numerics

packages/learning/src/Learning/Numerics.alpha

407 lines49 declarations15.7 KiBSHA-256 9d9e1eb74906
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 196–204

numericalExactContractBytes

Full file
Only an admitted exact contract is currently encoded for executable identity. Non-exact requests refuse before emission; no empty hash is a valid identity.
196def numericalExactContractBytes =
197  (lambda unrestricted contract : (family NumericalContract) .
198    (bytes-append
199      b"alpha-numerical-exact-v1"
200      (bytes-append
201        (stdNumericSizedBytes (numericalProfileBytes (numericalProfileOf contract)))
202        (bytes-append
203          (numericalOperationBytes (numericalOperationsOf contract))
204          (stdNumericSizedBytes (numericalExactOrderBytes (numericalRelationOf contract)))))))

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.