Module Sig

module Sig: sig .. end

Signatures for graph implementations.


Signature for ordered and hashable types

module type ANY_TYPE = sig .. end

Signature with only an abstract type.

module type ORDERED_TYPE = sig .. end

Signature equivalent to Set.OrderedType.

module type ORDERED_TYPE_DFT = sig .. end

Signature equivalent to Set.OrderedType with a default value.

module type HASHABLE = sig .. end

Signature equivalent to Hashtbl.HashedType.

module type COMPARABLE = sig .. end

Signature merging Sig.ORDERED_TYPE and Sig.HASHABLE.

Signatures for graph implementations

module type VERTEX = sig .. end

Signature for vertices.

module type EDGE = sig .. end

Signature for edges.

module type G = sig .. end

Common signature for all graphs.

module type P = sig .. end

Signature for persistent (i.e.

module type I = sig .. end

Signature for imperative (i.e.

module type WEIGHT = sig .. end

Signature for edges' weights.

module type MARK = sig .. end

Signature for marks on vertices.

module type IM = sig .. end

Signature for imperative graphs with marks on vertices.