DEFAULT_HEADER constant Null safety

Map<String, String> const DEFAULT_HEADER

Implementation

static const DEFAULT_HEADER = const {
  'Variant': 'Chess960',
};