def set

bendvy-ecs-core@0.1.0.3 · capabilities.bend:70

import Base

70# Invoke replacement with consumed C, returning the opaque owner. Refusal
71# results are determined by the bound operation; rejected C is not returned
72# by this signature. Canonical grants record errors for enclosing execution.
73def set(~H: Type,~C: Type,~V: Data,~cap: Write<H,C,V>,ctx: H,value: C) -> H:
74  write_field(~H,~C,~V,cap)(ctx,value)