GraphNumbering.ForOrderedType
module T : Map.OrderedType
module G : sig ... end
type t = G.t
val n : int
val encode : t -> int
val decode : int -> t