~/jendhub

def Ops

bendvy-ecs-core@0.1.0.4 · ordinary_recovery_capture.bend:11

import bendvy-ecs-core@0.1.0.4/ordinary_recovery_capture.bend as OrdinaryRecoveryCapture
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_component_capture.bend as Existing

11# Canonical capture target and generated recovery path; no caller inverse.
12# Recoverable retained Array<Q> capture capability family: whole-array
13# replace and bounded element swap. Q may be affine Type; arbitrary capture
14# mutation outside these declared operations is not automatically reversible.
15def Ops(~Q:Type,H:Type) -> Type:Existing.CaptureWrite<Q,H>

Uses (1)

Used by (1)