Module G.ESource

Sourcetype t = PkgV.t * PkgV.t
Sourceval compare : t -> t -> int
Sourcetype vertex = vertex
Sourceval src : t -> vertex
Sourceval dst : t -> vertex
Sourcetype label = unit
Sourceval create : vertex -> label -> vertex -> t
Sourceval label : t -> label