PreElement constructor Null safety

PreElement()

Implementation

factory PreElement() => JS<PreElement>(
    'returns:PreElement;creates:PreElement;new:true',
    '#.createElement(#)',
    document,
    "pre");