def nonempty_inverse_erased

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

import Base
import entity_key.bend as K
import relation_types.bend as T

62def nonempty_inverse_erased(-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>>:
63  match sources:
64    case []: rest
65    case head <> tail: T.Inverse{descriptor,target,head <> tail} <> rest