CPLIB_GRAPH_BELLMANFORD = 1

proc bellmanford(G`gensym3: DynamicGraph[int] or StaticGraph[int];
                 start`gensym3: int or seq[int]; ZERO`gensym3: int = 0;
                 INF`gensym3: int = INF64): auto

proc bellmanford(G`gensym4: DynamicGraph[int32] or StaticGraph[int32];
                 start`gensym4: int or seq[int]; ZERO`gensym4: int32 = 0;
                 INF`gensym4: int32 = INF32): auto

proc bellmanford(G`gensym5: DynamicGraph[float] or StaticGraph[float];
                 start`gensym5: int or seq[int]; ZERO`gensym5: float = 0.0;
                 INF`gensym5: float = 1e+100): auto

proc bellmanford[T](G: DynamicGraph[T] or StaticGraph[T];
                    start: int or seq[int]; ZERO, INF: T): auto

proc restore_bellmanford(G`gensym0: DynamicGraph[int] or
    StaticGraph[int]; start`gensym0: int or seq[int]; ZERO`gensym0: int = 0;
                         INF`gensym0: int = INF64): auto

proc restore_bellmanford(G`gensym1: DynamicGraph[int32] or
    StaticGraph[int32]; start`gensym1: int or seq[int]; ZERO`gensym1: int32 = 0;
                         INF`gensym1: int32 = INF32): auto

proc restore_bellmanford(G`gensym2: DynamicGraph[float] or
    StaticGraph[float]; start`gensym2: int or seq[int];
                         ZERO`gensym2: float = 0.0; INF`gensym2: float = 1e+100): auto

proc restore_bellmanford[T](G: DynamicGraph[T] or StaticGraph[T];
                            start: int or seq[int]; ZERO, INF: T): auto

proc shortest_path_bellmanford(G: DynamicGraph[int32] or StaticGraph[int32];
                               start, goal: int; ZERO: int32 = 0;
                               INF: int32 = INF32): tuple[path: seq[int],
    cost: int32]

proc shortest_path_bellmanford(G: DynamicGraph[int] or StaticGraph[int];
                               start, goal: int; ZERO: int = 0; INF: int = INF64): tuple[
    path: seq[int], cost: int]

proc shortest_path_bellmanford[T](G: DynamicGraph[T] or StaticGraph[T];
                                  start, goal: int; ZERO, INF: T): tuple[
    path: seq[int], cost: T]