Functor Region.Create.Merge


module Merge: 
functor (M : Map.S) -> sig .. end
Parameters:
M : Map.S

val union : ('a -> 'a -> 'a) -> 'a M.t -> 'a M.t -> 'a M.t
val forall : (M.key -> 'a -> Region.Create.F.pred) -> 'a M.t -> Region.Create.F.pred
val exists : (M.key -> 'a -> Region.Create.F.pred) -> 'a M.t -> Region.Create.F.pred