let rec pp fmt x =
  Name.pp fmt (name_of x);
  if not(!pretty) then
    (try 
       let d = cnstrnt_of x in
         Pretty.string fmt "{";
         Cnstrnt.pp fmt d;
         Pretty.string fmt "}"
     with
         Not_found -> ())