Up
–
graphlib
»
Graphlib
»
Std
»
Graphlib
»
Mapper
» EL
Parameter
Mapper.EL
type
s
=
G.Edge.label
type
t
val
forward :
s
->
t
val
backward :
t
->
s