{{ log.debug() }} {% if config.show_if_no_docstring or module.has_contents %}
{% if show_full_path %}{{ module.path }}{% else %}{{ module.name }}{% endif %}
        {% with properties = module.properties %}
          {% include "properties.html" with context %}
        {% endwith %}
      {% endfilter %}
    {% else %}
      {% if config.show_root_toc_entry %}
        {% filter heading(heading_level,
            role="module",
            id=html_id,
            toc_label=module.path,
            hidden=True) %}
        {% endfilter %}
      {% endif %}
      {% set heading_level = heading_level - 1 %}
    {% endif %}