def owned_request

bendvy-ecs-core@0.1.0.4 · capabilities.bend:146

import Base

146# Execute with affine input and return H plus the operation's affine
147# result. Branch on that result to handle payload recovery or refusal.
148def owned_request(~H:Type,~Input:Type,~Output:Type,~cap:OwnedRequest<H,Input,Output>,ctx:H,input:Input) -> H & Output:
149  owned_request_field(~H,~Input,~Output,cap)(ctx,input)