Module type Traversal.A

module type A = sig .. end
Minimal signature for arrays/hashtable depending on graph implementation.

type 'a t 
val make : int -> 'a -> 'a t
val length : 'a t -> int
val set : 'a t -> int -> 'a -> unit
val get : 'a t -> int -> 'a