def nonempty_inverse

bendvy-ecs-core@0.1.0.3 · relation_graph.bend:154

import bendvy-ecs-core@0.1.0.3/relation_graph.bend as RelationGraph
import Base
import entity_key.bend as K
import relation_types.bend as T

154def nonempty_inverse(~S: Data,descriptor: T.Descriptor<S>,target: K.Key,sources: List<&2,K.Key>,rest: List<&2,T.Inverse<S>>) -> List<&2,T.Inverse<S>>:
155  nonempty_inverse_erased(S,descriptor,target,sources,rest)

Uses (5)

Used by (0)

No other definition uses this definition.