px; color: rgb(0, 0, 0); font-family: 'DejaVu Sans', arial, sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><span style="font-family: 'DejaVu Sans Mono', courier, monospace !important; white-space: nowrap;"><span style="color: rgb(0, 0, 255);">constexpr</span></span></span><span sty