type Receipt

bendvy-ecs-core@0.1.0.4 · decode_owned_journal.bend:7

import Base
import bendvy-ecs-core@0.1.0.4/bundle_install.bend as Install

7# Explicit app-owned reversible receipts live outside the World journal.
8# Their generated position preserves ordering with ordinary resource/component
9# inverses. Recovered affine owners are returned to the Local adapter, never
10# placed into a resource that a subsequent inverse could overwrite.
11type Receipt<World:Type,P:Type,Q:Type> is Type:
12  Receipt{position:Nat,inverse:World -> Install.Restore<World,P,Q>}