module Hptmap:sig
..end
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
) ->