let
dijkstra cave src dst dist =
pathfindingloop cave src dst dijkstra' dijkstra'' dist