InspectorFailureProjection.FailureView: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend as InspectorFailureProjection
Lines 14-17 of bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend&start_line=14&end_line=17

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=Descriptor
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/relation_types.bend&name=Failure