RestoreEvents.data_clear: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_events.bend as RestoreEvents
Lines 20-22 of bendvy-ecs-core@0.1.0.4/restore_events.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_events.bend&start_line=20&end_line=22

import Base
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream

def data_clear(~S:Data,~E:Data,stream:Stream.Stream<S,E>) -> Stream.Stream<S,E>:
  match stream:
    case Stream.Stream{domain,_,positions,nextReader,frameStart,boundary,capacity,dropped}:Stream.Stream{domain,[],positions,nextReader,frameStart,boundary,capacity,dropped}

Uses (2):
  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.4/event_stream.bend&name=Stream