(String.concat " " (List.map UriManager.string_of_uri uris))
let pp_coercion uri do_composites arity saturations=
- Printf.sprintf "coercion %s %d %d (* %s *)"
+ Printf.sprintf "coercion %s %d %d %s"
(UriManager.string_of_uri uri) arity saturations
- (if do_composites then "compounds" else "no compounds")
+ (if do_composites then "" else "nocomposites")
let pp_command ~term_pp ~obj_pp = function
| Index (_,_,uri) -> "Indexing " ^ UriManager.string_of_uri uri