- let pp_prefix (uri_prefix, url_prefix) =
- " " ^ uri_prefix ^ " -- " ^ url_prefix
- in
+ let pp_attr = function `Read_only -> "ro" | `Legacy -> "legacy" in
+ let pp_prefix (uri_prefix, (url_prefix, attrs)) =
+ sprintf " %s -> %s [%s]" uri_prefix url_prefix
+ (String.concat "," (List.map pp_attr attrs)) in