Module Hptmap

module Hptmap: sig .. end
Undocumented.

exception Found_inter
module Tag_comp: sig .. end
module Comp_unused: sig .. end
type prefix 
val sentinel_prefix : prefix
type ('k, 'v, 't) tree = private 
| Empty
| Leaf of 'k * 'v * bool
| Branch of int * int * ('k, 'v, 't) tree * ('k, 'v, 't) tree * 't
module Make: 
functor (Key : sig
include Datatype.S
val id : t -> int
end) ->
functor (V : Datatype.S) ->
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