Every admission check precedes local program emission. A backend supplies
capability checks for its typed operations and transfer bindings; an absent
lowering is a refusal, never an empty command or a host substitution.
12def protocolAccepted : (family StdResult (family ProtocolFailure) Nat) =
13 (constructor StdResult StdSuccess (family ProtocolFailure) Nat 1)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.