module Hptmap: sig
.. end
val debug : bool Pervasives.ref
module type Tagged_type = sig
.. end
module Tag_comp: sig
.. end
module Comp_unused: sig
.. end
type
prefix
val sentinel_prefix : prefix
module Make: functor (
Key
:
sig
include Datatype.S
val id : t -> int
end
) ->
functor (
V
:
Tagged_type
) ->
functor (
Comp
:
sig
val e : bool
val f : Key.t -> V.t -> bool
val compose : bool -> bool -> bool
val default : bool
end
) ->
functor (
Initial_Values
:
sig
val v : (Key.t * V.t) list list
end
) ->
sig
.. end