Parameter Mapper.EL

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