Module Sig

module Sig: sig  end

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