Typedefs in Dijkstra