Module GraphNumbering.ForType

Parameters

module T : sig ... end
module G : sig ... end

Signature

type t = G.t
val n : int
val encode : t -> int
val decode : int -> t