sig
  val union : ('-> '-> 'a) -> 'Vmap.t -> 'Vmap.t -> 'Vmap.t
  val forall : (Vmap.key -> '-> F.pred) -> 'Vmap.t -> F.pred
  val exists : (Vmap.key -> '-> F.pred) -> 'Vmap.t -> F.pred
end