Hptmap.Compositional_bool
A boolean information is maintained for each tree, by composing the boolean on the subtrees and the value information present on each leaf. Use Comp_unused for a default implementation.
Comp_unused
type key
type v
val e : bool
Value for the empty tree
val f : key -> v -> bool
Value for a leaf
val compose : bool -> bool -> bool
Composition of the values of two subtrees