module Digraph: sig end
Persistent Directed Graphs
module Concrete: functor (V : Sig.COMPARABLE) -> sig end
Persistent Directed Unlabeled Graphs
module Abstract: functor (V : sig end) -> sig end
Abstract Persistent Directed Unlabeled Graphs
module ConcreteLabeled: functor (V : Sig.COMPARABLE) ->
functor (E : Sig.ORDERED_TYPE_DFT) -> sig end
Persistent Directed Labeled Graphs
module AbstractLabeled: functor (V : sig end) -> functor (E : Sig.ORDERED_TYPE_DFT) -> sig end
Abstract Persistent Directed Labeled Graphs