dfn top-level constant

HTMLElement<Dfn> const dfn

Implementation

const dfn = HTMLElement<Dfn>('dfn');