Library Labels

Module Type Labels.

Parameter NodeLabel : Type.

Parameter EdgeLabel : Type.

End Labels.

Module Nat_Labels <: Labels.

Definition NodeLabel := nat.

Definition EdgeLabel := nat.

End Nat_Labels.