_
val e : bool
Value for the empty tree
val f : Key.t -> V.t -> bool
Value for a leaf
val compose : bool -> bool -> bool
Composition of the values of two subtrees
Frama-C