Library Benchmark

Require Import Dijkstra.
Require Import UndigraphMapImp.
Require Import OrderedTypeEx.
Require Import ZArith.
Require Import Labels.

Module Import G := Undirected_GraphMap Positive_as_OT Nat_Labels.
Module Import D := Shortest_path Positive_as_OT Nat_Labels G.