Module Sig
module Sig: sig
.. end
Signatures for graph implementations
Signatures for graph implementations
Interface for vertices
module type VERTEX = sig
.. end
Interface for edges
module type EDGE = sig
.. end
Common interface for all graph implementations
module type G = sig
.. end
Persistent (i.e. immutable) implementation
module type P = sig
.. end
Imperative (i.e. mutable) implementation
module type I = sig
.. end
Imperative implementation with marks
module type MARK = sig
.. end
module type IA = sig
.. end
Signature for ordered and hashable types
module type ORDERED_TYPE = sig
.. end
module type ORDERED_TYPE_DFT = sig
.. end
module type HASHABLE = sig
.. end
Comparable = Ordered + Hashable
module type COMPARABLE = sig
.. end