$main top-level constant

HTMLElement<Main> const $main

Implementation

const $main = HTMLElement<Main>('main');