~/jendhub

def retired

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

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

38def retired(~P:Type,next:Nat,result:List<Row<P>> & List<Row<P>>) -> Log<P> & List<Row<P>>:
39  match result:
40    case (retained,removed):(Log{next,retained},removed)

Uses (6)

Used by (1)