def next_cycle

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

import Base
import entity_key.bend as K

170def next_cycle(~S: Data,current: Maybe<&2,K.Key>,next: K.Key -> Bool) -> Bool:
171  next_cycle_erased(S,current,next)