type FailureView

bendvy-ecs-core@0.1.0.4 · inspector_failure_projection.bend:14

import Base
import bendvy-ecs-core@0.1.0.4/relation_types.bend as G

14# This declaration-scoped grant exposes selected failures and non-payload
15# timing only. Shared Notice payloads and reader counts stay in the owner harness.
16type FailureView<S:Data,E:Data> is Data:
17  FailureView{relation:G.Descriptor<S>,visible:List<&2,G.Failure<S>>,retained:List<&2,G.Failure<S>>,tick:Nat,boundary:Nat}