~/jendhub

def check_projected

bendvy-ecs-core@0.1.0.4 · inspector_machine_projection.bend:21

import bendvy-ecs-core@0.1.0.4/inspector_machine_projection.bend as InspectorMachineProjection
import Base
import check.bend as Check
import machine.bend as M
import world.bend as W

21def check_projected(~S:Data,~K:Data,~V:Data,~Store:Type,~R:Type,~E:Data,observed:W.World<S,Store,R,E> & M.Slot<S,K,V>) -> Check.Frame<S,Store,R,E> & M.CurrentView<S,K,V>:
22  (world,slot)=observed
23  (Check.Frame{world},M.current_view(~S,~K,~V,slot))

Uses (7)

Used by (1)