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