def write_owner

bendvy-ecs-core@0.1.0.4 · owned_family.bend:108

import Base
import compose.bend as Q

108# The public capability setter consumes refused incoming exactly like Q.written.
109def write_owner(~H:Type,~C:Type,result:WriteResult<H,C>) -> H:
110  match result:
111    case Written{owner}: owner
112    case Rejected{owner,_,_}: owner