docs: public boolean isRefinedPartitioningOver(
              Partitioning right,
              Metadata metadata,
              Session session)
      {
          if (!handle.equals(right.handle) && !metadata.isRefinedPartitioningOver(session, handle, right.handle)) {
              return false;
          }
  
          return arguments.equals(right.arguments);
      }