public static void htmlDescribeModule(Module module, org.powerloom.PrintableStringWriter stream) {
    if (!(module != null)) {
      return;
    }
    { String namestring = module.name();

      if (OntosaurusUtil.vizServerAvailableP() &&
          ((!((BooleanWrapper)(KeyValueList.dynamicSlotValue(module.dynamicSlots, OntosaurusUtil.SYM_STELLA_CODE_ONLYp, Stella.FALSE_WRAPPER))).wrapperValue) &&
           (!((BooleanWrapper)(KeyValueList.dynamicSlotValue(module.dynamicSlots, OntosaurusUtil.SYM_STELLA_NAMESPACEp, Stella.FALSE_WRAPPER))).wrapperValue))) {
        OntosaurusUtil.htmlWriteHrefInDetail(stream, "Graph", "graph", "context", module.name(), module.name(), "Graph " + module.name(), false);
      }
      OntosaurusUtil.htmlDisplayImages(module, stream);
      OntosaurusUtil.htmlDisplayDocumentation(module, stream);
      OntosaurusUtil.htmlDescribeModuleSubs("Child Modules", namestring, module, stream, true);
      OntosaurusUtil.htmlDescribeModuleSupers("Parent Modules", namestring, module, stream, true);
      OntosaurusUtil.htmlDisplayModuleStats("Contents", namestring, module, stream, true);
      return;
    }
  }