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