GraphNumbering.Make
module M : sig ... end
module G : sig ... end
type t = G.t
val n : int
val encode : t -> int
val decode : int -> t