Module Sig

module Sig: sig .. end

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 IM = sig .. end

Signature for ordered and hashable types

module type ANY_TYPE = sig .. end

module type ORDERED_TYPE = sig .. end

module type ORDERED_TYPE_DFT = sig .. end

module type HASHABLE = sig .. end

module type COMPARABLE = sig .. end

Comparable = Ordered + Hashable