def declaration

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

import Base
import bendvy-ecs-core@0.1.0.4/recovery_use.bend as Use
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend as D
import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as A

41# Declare canonical Array<Q> capture recovery with complete typed Capture
42# use metadata and no fabricated World access key. Compose with component/
43# resource declarations through ordinary-recovery-declaration.both. Does not
44# execute a body or make host IO reversible; see docs/parity/recovery.md.
45def declaration(~S:Data,~C:Type,~R:Type,~E:Data,~Q:Type) -> D.Declaration<S,Product.Owner<W.World<S,C,R,E>,Array<Q>>,List<A.Record<Q>>,Ops(~Q),grant(~S,~C,~R,~E,~Q)>:D.Described{empty(~Q),[],Use.known([Use.Use{Use.Capture{},Use.Write{}}])}