sbool classIsExportedTo(Class c, java.lang.Module destModule) {
  if (c == null || destModule == null) false;
  
  java.lang.Module srcModule = c.getModule();
  S packageName = c.getPackageName();
  ret srcModule.isExported(packageName, destModule);
}