diff --git a/src/data/CCGraph.ml b/src/data/CCGraph.ml index 394ca3dc..5350df0f 100644 --- a/src/data/CCGraph.ml +++ b/src/data/CCGraph.ml @@ -35,8 +35,6 @@ module Iter = struct with Exit_ -> true end -module Seq = Iter - (** {2 Interfaces for graphs} *) (** Directed graph with vertices of type ['v] and edges labeled with [e'] *) @@ -608,8 +606,6 @@ module Dot = struct Format.fprintf out "}@]@;@?"; () - let pp_seq = pp_all - let pp ~tbl ~eq ?attrs_v ?attrs_e ?name ~graph fmt v = pp_all ~tbl ~eq ?attrs_v ?attrs_e ?name ~graph fmt (Iter.return v) diff --git a/src/data/CCGraph.mli b/src/data/CCGraph.mli index 61c4fc1b..539fad9f 100644 --- a/src/data/CCGraph.mli +++ b/src/data/CCGraph.mli @@ -49,10 +49,6 @@ module Iter : sig val to_list : 'a t -> 'a list end -module Seq = Iter -(** @deprecated use {!Iter} instead *) -[@@ocaml.deprecated "use {!Iter} instead"] - (** {2 Interfaces for graphs} This interface is designed for oriented graphs with labels on edges *) @@ -340,18 +336,6 @@ module Dot : sig (** Same as {!pp} but starting from several vertices, not just one. @since 2.8 *) - val pp_seq : tbl:('v,vertex_state) table -> - eq:('v -> 'v -> bool) -> - ?attrs_v:('v -> attribute list) -> - ?attrs_e:('e -> attribute list) -> - ?name:string -> - graph:('v,'e) t -> - Format.formatter -> - 'v iter -> - unit - (** @deprecated see {!pp_all} instead *) - [@@ocaml.deprecated "use {!pp_all} instead"] - val with_out : string -> (Format.formatter -> 'a) -> 'a (** Shortcut to open a file and write to it. *) end