Parameter `Mapper.N`

type s = G.node

type t

val forward : s -> t

val backward : t -> s