def read_rebuilt

bendvy-ecs-core@0.1.0.3 · owned_event_log.bend:52

import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog
import Base

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

Uses (5)

Used by (1)