Returns HTML navigation element with unordered list of links.
If optional array mask
is passed, anchors are added according to
their mask state.
Type | Intent | Optional | Attributes | Name | ||
---|---|---|---|---|---|---|
type(anchor_type), | intent(inout) | :: | anchors(:) |
Anchor types. |
||
logical, | intent(inout), | optional | :: | mask(:) |
Mask. |
Generated HTML.