Module Dashtbl


module Dashtbl: sig .. end
Dashtbl. It is an hashtbl in which each binding defines a state. Thus it may have dependencies. By using a dashtable, you will have a very fine-grain control over state dependencies.

module type S = sig .. end
Signature of a dashtbl.
module type Graph = sig .. end
module type Key = sig .. end
module Default_key_marshaler: 
functor (K : Datatype.S_with_collections) -> Key with type t = K.t
module type Data = sig .. end
module Default_data_marshaler: 
functor (D : Datatype.S) -> Data with type t = D.t
module Make: 
functor (G : Graph) ->
functor (K : Key) ->
functor (D : Data) ->
functor (Info : sig
val name : string
end) -> S with type key = K.t and type data = D.t