def lift_world_read

bendvy-ecs-core@0.1.0.4 · inspector_runtime.bend:82

import Base
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as A
import bendvy-ecs-core@0.1.0.4/inspector.bend as I
import bendvy-ecs-core@0.1.0.4/inspector_stream_frame.bend as F
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

82def lift_world_read(~S:Data,~C:Type,~R:Type,~E:Data,~V:Data,~cap:Cap.ValueRead<I.Frame<S,C,R,A.Notice<S,E>>,V>) -> Cap.ValueRead<F.Frame<S,C,R,E>,V>:
83  Cap.ValueRead{read_frame(~S,~C,~R,~E,~V,~cap)}