TraceFacts.Fact: type of bendvy-ecs-core@0.1.0.3 Import: import bendvy-ecs-core@0.1.0.3/trace_facts.bend as TraceFacts Lines 49-55 of bendvy-ecs-core@0.1.0.3/trace_facts.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&start_line=49&end_line=55 import Base type Fact is Data: ReaderFact{namespace:U32,id:U32,name:String,readerId:U32,domain:String,lagged:Bool} BoundaryFact{boundary:Boundary} Fact{category:Category,key:String,operation:Operation,subject:Maybe<&2,String>,before:Value,after:Value,result:FactResult} RelationFact{identity:RelationIdentity,operation:Operation,source:HandleValue,action:RelationAction,result:FactResult} HandlerFact{namespace:U32,id:U32,name:String,ordinal:U32,phase:HandlerPhase,from:Value,to:Value,result:FactResult} TransitionFact{key:String,from:Value,to:Value,result:FactResult} Uses (13): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=Boundary https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=Category https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=FactResult https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=HandleValue https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=HandlerPhase https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=Operation https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=RelationAction https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=RelationIdentity https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=Value