{{ 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 %}