DirectedGraph = WeightedDirectedGraph or UnWeightedDirectedGraph or
    WeightedDirectedStaticGraph or
    UnWeightedDirectedStaticGraph

DynamicGraph[T] = ref object of RootObj
  edges*: seq[seq[(int32, T)]]
  len*: int

DynamicGraphTypes = WeightedDirectedGraph or UnWeightedDirectedGraph or
    WeightedUnDirectedGraph or
    UnWeightedUnDirectedGraph

GraphTypes[T] = DynamicGraph[T] or StaticGraph[T]

StaticGraph[T] = ref object of RootObj
  src*, dst*: seq[int32]
  cost*: seq[T]
  elist*: seq[(int32, T)]
  start*: seq[int32]
  len*: int

StaticGraphTypes = WeightedDirectedStaticGraph or UnWeightedDirectedStaticGraph or
    WeightedUnDirectedStaticGraph or
    UnWeightedUnDirectedStaticGraph

UnDirectedGraph = WeightedUnDirectedGraph or UnWeightedUnDirectedGraph or
    WeightedUnDirectedStaticGraph or
    UnWeightedUnDirectedStaticGraph

UnWeightedDirectedGraph = ref object of DynamicGraph[int]

UnWeightedDirectedStaticGraph = ref object of StaticGraph[int]

UnWeightedDirectedTableGraph[T] = object
  toi*: Table[T, int]
  v*: seq[T]
  graph*: UnWeightedDirectedGraph

UnWeightedGraph = UnWeightedDirectedGraph or UnWeightedUnDirectedGraph or
    UnWeightedDirectedStaticGraph or
    UnWeightedUnDirectedStaticGraph

UnWeightedTableGraph[T] = UnWeightedUnDirectedTableGraph[T] or
    UnWeightedDirectedTableGraph[T]

UnWeightedUnDirectedGraph = ref object of DynamicGraph[int]

UnWeightedUnDirectedStaticGraph = ref object of StaticGraph[int]

UnWeightedUnDirectedTableGraph[T] = object
  toi*: Table[T, int]
  v*: seq[T]
  graph*: UnWeightedUnDirectedGraph

WeightedDirectedGraph[T] = ref object of DynamicGraph[T]

WeightedDirectedStaticGraph[T] = ref object of StaticGraph[T]

WeightedDirectedTableGraph[T; S] = object
  toi*: Table[T, int]
  v*: seq[T]
  graph*: WeightedDirectedGraph[S]

WeightedGraph[T] = WeightedDirectedGraph[T] or WeightedUnDirectedGraph[T] or
    WeightedDirectedStaticGraph[T] or
    WeightedUnDirectedStaticGraph[T]

WeightedTableGraph[T; S] = WeightedUnDirectedTableGraph[T, S] or
    WeightedDirectedTableGraph[T, S]

WeightedUnDirectedGraph[T] = ref object of DynamicGraph[T]

WeightedUnDirectedStaticGraph[T] = ref object of StaticGraph[T]

WeightedUnDirectedTableGraph[T; S] = object
  toi*: Table[T, int]
  v*: seq[T]
  graph*: WeightedUnDirectedGraph[S]

CPLIB_GRAPH_GRAPH = 1

proc add_edge(g: var UnWeightedDirectedGraph; u, v: int) {....raises: [], tags: [].}

proc add_edge(g: var UnWeightedDirectedStaticGraph; u, v: int) {....raises: [],
    tags: [].}

proc add_edge(g: var UnWeightedUnDirectedGraph; u, v: int) {....raises: [],
    tags: [].}

proc add_edge(g: var UnWeightedUnDirectedStaticGraph; u, v: int) {....raises: [],
    tags: [].}

proc add_edge[T, S](g: var WeightedTableGraph[T, S]; u, v: int; cost: S)

proc add_edge[T](g: var UnWeightedTableGraph[T]; u, v: int)

proc add_edge[T](g: var WeightedDirectedGraph[T]; u, v: int; cost: T)

proc add_edge[T](g: var WeightedDirectedStaticGraph[T]; u, v: int; cost: T)

proc add_edge[T](g: var WeightedUnDirectedGraph[T]; u, v: int; cost: T)

proc add_edge[T](g: var WeightedUnDirectedStaticGraph[T]; u, v: int; cost: T)

proc add_edge_dynamic_impl[T](g: DynamicGraph[T]; u, v: int; cost: T;
                              directed: bool)

proc add_edge_static_impl[T](g: StaticGraph[T]; u, v: int; cost: T;
                             directed: bool)

proc build(g: StaticGraphTypes)

proc build_impl[T](g: StaticGraph[T])

proc initUnWeightedDirectedGraph(N: int): UnWeightedDirectedGraph {....raises: [],
    tags: [].}

proc initUnWeightedDirectedStaticGraph(N: int; capacity: int = 0): UnWeightedDirectedStaticGraph {.
    ...raises: [], tags: [].}

proc initUnWeightedDirectedTableGraph[T](V: seq[T]): UnWeightedDirectedTableGraph[
    T]

proc initUnWeightedUnDirectedGraph(N: int): UnWeightedUnDirectedGraph {.
    ...raises: [], tags: [].}

proc initUnWeightedUnDirectedStaticGraph(N: int; capacity: int = 0): UnWeightedUnDirectedStaticGraph {.
    ...raises: [], tags: [].}

proc initUnWeightedUnDirectedTableGraph[T](V: seq[T]): UnWeightedUnDirectedTableGraph[
    T]

proc initWeightedDirectedGraph(N: int; edgetype: typedesc = int): WeightedDirectedGraph[
    edgetype]

proc initWeightedDirectedStaticGraph(N: int; edgetype: typedesc = int;
                                     capacity: int = 0): WeightedDirectedStaticGraph[
    edgetype]

proc initWeightedDirectedTableGraph[T](V: seq[T]; S: typedesc = int): WeightedDirectedTableGraph[
    T, S]

proc initWeightedUnDirectedGraph(N: int; edgetype: typedesc = int): WeightedUnDirectedGraph[
    edgetype]

proc initWeightedUnDirectedStaticGraph(N: int; edgetype: typedesc = int;
                                       capacity: int = 0): WeightedUnDirectedStaticGraph[
    edgetype]

proc initWeightedUnDirectedTableGraph[T](V: seq[T]; S: typedesc = int): WeightedUnDirectedTableGraph[
    T, S]

proc len(G: UnWeightedGraph): int

proc len[T](G: WeightedGraph[T]): int

proc static_graph_initialized_check[T](g: StaticGraph[T])

iterator `[]`(g: UnWeightedDirectedGraph or UnWeightedUnDirectedGraph; x: int): int

iterator `[]`(g: UnWeightedDirectedStaticGraph or
    UnWeightedUnDirectedStaticGraph; x: int): int

iterator `[]`[T, S](g: WeightedDirectedTableGraph[T, S] or
    WeightedUnDirectedTableGraph[T, S]; x: T): (T, S)

iterator `[]`[T](g: UnWeightedDirectedTableGraph[T] or
    UnWeightedUnDirectedTableGraph[T]; x: T): T

iterator `[]`[T](g: WeightedDirectedGraph[T] or WeightedUnDirectedGraph[T];
                 x: int): (int, T)

iterator `[]`[T](g: WeightedDirectedStaticGraph[T] or
    WeightedUnDirectedStaticGraph[T]; x: int): (int, T)

iterator to_and_cost[T](g: DynamicGraph[T]; x: int): (int, T)

iterator to_and_cost[T](g: StaticGraph[T]; x: int): (int, T)