module Classic: sig .. end
sig
end
Some classic graphs
module type S = sig .. end
module P: functor (G : Sig.P with type V.label = int) -> S with type graph = G.t
functor (
G
:
Sig.P
with type V.label = int
) ->
S
with type graph = G.t
Classic Persistent Graphs
module I: functor (G : Sig.I with type V.label = int) -> S with type graph = G.t
Sig.I
Classic Imperative Graphs