~/jendhub

def Ops

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_component.bend:15

import bendvy-ecs-core@0.1.0.4/ordinary_recovery_component.bend as OrdinaryRecoveryComponent
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend as Existing

15# Existing schema take/put/view are trusted provisioning, never gameplay inverses.
16# Nominal recoverable component replacement capability family. P may be
17# affine Type; the grant is bound to its ordinary component identity, not a
18# printable access name or a caller-provided inverse.
19def Ops(~S:Data,~P:Type,~identity:Identity.Declaration<S,P>,H:Type) -> Type:Existing.ComponentWrite<S,P,identity,H>

Uses (2)

Used by (1)