val first_value_for_cpt_vertex : int
val max_cpt : int -> int -> int
val after_unserialization : int -> unit
module type HM = sig ... end
module type TBL_BUILDER = functor (X : sig ... end) -> sig ... end
module Make_Map (X : sig ... end) : sig ... end
module Pred (S : sig ... end) : sig ... end
module Unlabeled (V : sig ... end) (HM : sig ... end) : sig ... end
module Labeled
(V : sig ... end)
(E : sig ... end)
(HM : sig ... end) :
sig ... end
module Graph (G : sig ... end) : sig ... end