~/jendhub

def read_finished

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

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

71def read_finished(~P:Type,~Args:Type,~Observation:Type,next:Nat,result:List<Row<P>> & ReadResult<Args,Observation>) -> Log<P> & ReadResult<Args,Observation>:
72  match result:
73    case (rows,result):(Log{next,rows},result)

Uses (7)

Used by (1)