TraceFacts.annotate_newest: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/trace_facts.bend as TraceFacts
Lines 71-80 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=71&end_line=80

import Base

def annotate_newest(state:State,before:Value,after:Value) -> State:
  match state:
    case Off{}:Off{}
    case On{[]}:On{[]}
    case On{Fact{category,key,operation,subject,_,_,result} <> rest}:On{Fact{category,key,operation,subject,before,after,result} <> rest}
    case On{RelationFact{identity,operation,source,action,result} <> rest}:On{RelationFact{identity,operation,source,action,result} <> rest}
    case On{HandlerFact{namespace,id,name,ordinal,phase,_,_,result} <> rest}:On{HandlerFact{namespace,id,name,ordinal,phase,before,after,result} <> rest}
    case On{TransitionFact{key,_,_,result} <> rest}:On{TransitionFact{key,before,after,result} <> rest}
    case On{ReaderFact{namespace,id,name,readerId,domain,lagged} <> rest}:On{ReaderFact{namespace,id,name,readerId,domain,lagged} <> rest}
    case On{BoundaryFact{boundary} <> rest}:On{BoundaryFact{boundary} <> rest}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=Fact
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/trace_facts.bend&name=Value