codecs.isweblabel

← codecs

Allows checking the WHATWG status of a given label (listed, not listed, or mapped to undefined).

Functions

map_weblabel(label)

If label is a regular WHATWG label, returns it; if it is a label mapped to Replacement, returns "undefined"; otherwise, returns None.

Other Members

let mapped_to_replacement = list

let weblabels = list