Parameter Mapper.E

type s = G.edge
type t
val forward : s -> t
val backward : t -> s