let pretty fmt (b,p) = Format.fprintf fmt "%s(%s)" (if b then "true" else "false") (match p with Glob -> "Glob" | Loc -> "Loc")