export const documentationSections = [ ] ; export const documentationSectionNames = { } ; export function DocumentationSectionComponent ( identifier ) { return function ( target ) { documentationSections . push ( target ) ; documentationSectionNames [ identifier ] = target ; } ; }