def projected_runtime

bendvy-ecs-core@0.1.0.4 · check_relation_projection.bend:42

import Base
import check.bend as K
import world.bend as W
import relation_types.bend as G
import relation_commands.bend as A
import relation_query.bend as RQ

42def projected_runtime(~S:Data,~C:Type,~R:Type,~E:Data,spec:RQ.Spec<S>,target:W.Handle<S>,observed:K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>> & G.Graph<S>) -> K.Frame<S,A.Store<S,C>,R,A.Notice<S,E>> & List<&2,RQ.Cell<S>>:
43  (frame,graph)=observed
44  (frame,cells(~S,RQ.spec_rows(~S,~Unit,spec,graph,target,Unit{})))