A transfer binding must reproduce the canonical route, identity and extent
from the global protocol. A matching local buffer size alone is insufficient.
31def nativeProtocolFrameAdmitted =
32 (lambda unrestricted identity : (family RegionTransferIdentity) .
33 (lambda unrestricted layout : (family RegionFrameLayout) .
34 (eliminate
35 StdResult
36 (lambda unrestricted result : (family StdResult (family RegionFrameFailure) Bytes) . Nat)
37 (regionFrameHeader identity (framePayloadBytes layout) (bytes-length (frameHeader layout)))
38 (branch StdFailure error . 0)
39 (branch StdSuccess header . (bytes-equal header (frameHeader layout))))))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.