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:
module type Data = sig
.. end
module Default_data_marshaler:
module Make: functor (
G
:
Graph
) ->
functor (
K
:
Key
) ->
functor (
D
:
Data
) ->
functor (
Info
:
sig
end
) ->
S
with type key = K.t and type data = D.t