sig
type
t
type
label
val
label :
Path
.
G
.
E
.t
->
Path
.
G
.
E
.label
val
dst :
Path
.
G
.
E
.t
->
V
.t
end