Parameter `Mapper.NL`

type s = G.Node.label

type t

val forward : s -> t

val backward : t -> s