Skip to main content

Module id

Module id 

Source
Expand description

Document identifiers: <type>:<owner>/<key>, optionally followed by #<anchor>.

Structsยง

DocId
RefText
A reference as written in a document or on the command line: an id, an id with an anchor, an alias, or a path.