OwnedEventLog.read_rebuilt: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog
Lines 52-54 of bendvy-ecs-core@0.1.0.3/owned_event_log.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&start_line=52&end_line=54

import Base

def read_rebuilt(~P:Type,~Args:Type,~Observation:Type,row:Row<P>,result:List<Row<P>> & ReadResult<Args,Observation>) -> List<Row<P>> & ReadResult<Args,Observation>:
  match result:
    case (tail,result):(row <> tail,result)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&name=ReadResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/owned_event_log.bend&name=Row