AlphaGitHub
Source/Packages

Runtime.RegionFrame

packages/execution/src/Runtime/RegionFrame.alpha

320 lines27 declarations14.1 KiBSHA-256 31efcb569418
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 66–75

regionFrameThen

Full file
66def regionFrameThen =
67  (lambda unrestricted result : (family StdResult (family RegionFrameFailure) Bytes) .
68    (lambda unrestricted next : (pi unrestricted value : Bytes . (family StdResult (family RegionFrameFailure) Bytes)) .
69      (eliminate
70        StdResult
71        (lambda unrestricted current : (family StdResult (family RegionFrameFailure) Bytes) .
72          (family StdResult (family RegionFrameFailure) Bytes))
73        result
74        (branch StdFailure code . (regionFrameFailure code))
75        (branch StdSuccess value . (next 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.