AlphaGitHub
Source/Packages

Runtime.WordDigest

packages/execution/src/Runtime/WordDigest.alpha

1,248 lines82 declarations55.1 KiBSHA-256 16e881f3c8a0
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 235–243

digestAt

Full file
235def digestAt =
236  (lambda unrestricted values : (family StdList Nat) .
237    (lambda unrestricted p : Nat .
238      (eliminate
239        StdOption
240        (lambda unrestricted current : (family StdOption Nat) . Nat)
241        (stdListIndex Nat values p)
242        (branch StdNone . 0)
243        (branch StdSome value . value))))

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.