Module Sig


module Sig: sig  end
Signatures for graph implementations



Signatures for graph implementations



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 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