The reflection TS represents program metadata as types
engineeringcppreflectionstandardstemplatesN4766 specifies reflexpr and template operations over reflection metadata. Alias identity and implementation-defined meta-object types explain how this experimental design connects program structure to generic code.