Removals.viewed: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/removals.bend as Removals
Lines 66-69 of bendvy-ecs-core@0.1.0.4/removals.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&start_line=66&end_line=69

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

def viewed(~S: Data,~C: Type,~R: Type,~E: Data,~F: Data,~select: E -> Maybe<&2,Record<S,F>>,~Error: Data,~Out: Type,~consume: List<&2,Record<S,F>> -> Result<&2,&1,Error,Out>,reader: Reader<S,E,F,select>,cursor: Nat,viewed: W.World<S,C,R,E> & List<&2,E>) -> Run<S,C,R,E,F,select,Error,Out>:
  (world,+values) = viewed
  result = consume(since(~S,~E,~F,~select,values,cursor))
  consumed(~S,~C,~R,~E,~F,~select,~Error,~Out,reader,count(~E,values),world,result)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  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.4/removals.bend&name=Reader
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=Record
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=consumed
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=count
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/removals.bend&name=since
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=World