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