def next_cycle_erased

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

import bendvy-ecs-core@0.1.0.3/relation_graph.bend as RelationGraph

import Base
import entity_key.bend as K

95def next_cycle_erased(-S: Data,current: Maybe<&2,K.Key>,next: K.Key -> Bool) -> Bool:
96  match current:
97    case None{}: False{}
98    case Some{id}: next(id)

Uses (3)

Used by (2)