[char.traits.require] Remove 'compile-time' complexity for typedefs

Author: eisenwave

source/strings.tex

@@ -122,15 +122,15 @@
                         &                       &   \chdr{pre-/post-condition}   &               \\ \capsep
 \endhead
 \tcode{X::char_type}    &   \tcode{C}       &
-   &   compile-time    \\ \rowsep
+   &    \\ \rowsep
 \tcode{X::int_type} &                       &
-(described in~\ref{char.traits.typedefs})   &   compile-time    \\ \rowsep
+(described in~\ref{char.traits.typedefs})   &    \\ \rowsep
 \tcode{X::off_type} &                       &
-(described in~\ref{iostreams.limits.pos} and \ref{iostream.forward})   &   compile-time    \\ \rowsep
+(described in~\ref{iostreams.limits.pos} and \ref{iostream.forward})   &    \\ \rowsep
 \tcode{X::pos_type} &                       &
-(described in~\ref{iostreams.limits.pos} and \ref{iostream.forward})   &   compile-time    \\ \rowsep
+(described in~\ref{iostreams.limits.pos} and \ref{iostream.forward})   &    \\ \rowsep
 \tcode{X::state_type}   &                       &
-(described in~\ref{char.traits.typedefs})   &   compile-time    \\ \rowsep
+(described in~\ref{char.traits.typedefs})   &    \\ \rowsep
 \tcode{X::eq(c,d)}      &   \tcode{bool}        &
  \returns
 whether \tcode{c} is to be treated as equal to \tcode{d}.   &   constant    \\ \rowsep