def cycle_loop

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

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

172def cycle_loop(~S: Data,fuel: Nat,+graph: T.Graph<S>,+descriptor: T.Descriptor<S>,+source: K.Key,+current: K.Key) -> Bool:
173  cycle_loop_erased(S,fuel,graph,descriptor,source,current)