pre top-level constant

HTMLElement<Pre> const pre

Implementation

const pre = HTMLElement<Pre>('pre');