/*!
 * KoliBri - The accessible HTML-Standard
 */
const UNIQUE_LABELS=new Set;function addNavLabel(e){UNIQUE_LABELS.has(e)?console.error(`There already is a nav element with the label "${e}"`):UNIQUE_LABELS.add(e)}function removeNavLabel(e){UNIQUE_LABELS.delete(e)}export{addNavLabel as a,removeNavLabel as r};