Help:Wikifunctions/Duplicate Object labels

From mediawiki.org

Duplicate object labels is a special page in WikiLambda. The page lists all Objects that have the same name as another Object. Names of Objects should be unique.

Usually, the software tries to avoid duplicated names. But in case a duplicated name slips through, it will be listed on this special page.

It is recommended to keep this list empty. If there are multiple Objects with the same name, some of them should be renamed. Otherwise some User Interface features might become ambiguous.

You can click through to the Objects directly and edit them to change the name.

Name and label are synonymous in this case.