Parameter Make.G

type t
module V : sig ... end
val succ : t -> V.t -> V.t list