def group_found

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/routing.bend:11

import Base
import domains.bend as D

11def group_found(~S: Data,~E: Data,same: Bool,+key: D.DescriptorKey<S>,items: List<&2,E>,+rest: List<&2,PendingBatch<S,E>>,+item: E,ih: Unit -> List<&2,PendingBatch<S,E>>) -> List<&2,PendingBatch<S,E>>:
12  match same:
13    case True{}: PendingBatch{key,item <> items} <> rest
14    case False{}: PendingBatch{key,items} <> ih(Unit{})