Module Hptmap


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) ->
functor (Datatype_deps : sig
val l : State.t list
end) -> sig .. end