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