let merge (b1,p1) (b2,p2) = let b = b1 || b2 in let p = match p1, p2 with | Glob, _ | _, Glob -> Glob | Loc, Loc -> Loc in (b, p)