format standard pr7

mtx48109 · mtx48109 · commit f035aa6bbec7 · 2018-07-10T09:43:52.000-07:00
diff --git a/docs/standard-library/is-abstract-class.md b/docs/standard-library/is-abstract-class.md
@@ -25,12 +25,12 @@ struct is_abstract;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a class that has at least one pure virtual function, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a class that has at least one pure virtual function, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-arithmetic-class.md b/docs/standard-library/is-arithmetic-class.md
@@ -25,12 +25,12 @@ struct is_arithmetic;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is an arithmetic type, that is, an integral type or a floating point type, or a `cv-qualified` form of one of them, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is an arithmetic type, that is, an integral type or a floating point type, or a `cv-qualified` form of one of them, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-array-class.md b/docs/standard-library/is-array-class.md
@@ -25,12 +25,12 @@ struct is_array;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is an array type, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is an array type, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-assignable-class.md b/docs/standard-library/is-assignable-class.md
@@ -33,7 +33,7 @@ From
 
 ## Remarks
 
-The unevaluated expression `declval<To>() = declval<From>()` must be well-formed. Both `From` and `To` must be complete types, `void`, or arrays of unknown bound.
+The unevaluated expression `declval<To>() = declval<From>()` must be well-formed. Both `From` and `To` must be complete types, **void**, or arrays of unknown bound.
 
 ## Requirements
 
diff --git a/docs/standard-library/is-base-of-class.md b/docs/standard-library/is-base-of-class.md
@@ -25,15 +25,15 @@ struct is_base_of;
 
 ### Parameters
 
-`Base`
+*Base*
  The base class to test for.
 
-`Derived`
+*Derived*
  The derived type to test for.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Base` is a base class of the type `Derived`, otherwise it holds false.
+An instance of the type predicate holds true if the type *Base* is a base class of the type *Derived*, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-class-class.md b/docs/standard-library/is-class-class.md
@@ -25,12 +25,12 @@ struct is_class;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a type defined as a `class` or a `struct`, or a `cv-qualified` form of one of them, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a type defined as a **class** or a **struct**, or a `cv-qualified` form of one of them, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-compound-class.md b/docs/standard-library/is-compound-class.md
@@ -25,12 +25,12 @@ struct is_compound;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds `false` if the type of `Ty` is a fundamental type (that is, if [is_fundamental](../standard-library/is-fundamental-class.md)\<Ty> holds `true`); otherwise, it holds `true`. Thus, the predicate holds `true` if `Ty` is an array type, a function type, a pointer to `void` or an object or a function, a reference, a class, a union, an enumeration, or a pointer to non-static class member, or a *cv-qualified* form of one of them.
+An instance of the type predicate holds `false` if the type of *Ty* is a fundamental type (that is, if [is_fundamental](../standard-library/is-fundamental-class.md)\<Ty> holds `true`); otherwise, it holds `true`. Thus, the predicate holds `true` if *Ty* is an array type, a function type, a pointer to **void** or an object or a function, a reference, a class, a union, an enumeration, or a pointer to non-static class member, or a *cv-qualified* form of one of them.
 
 ## Example
 
diff --git a/docs/standard-library/is-const-class.md b/docs/standard-library/is-const-class.md
@@ -25,12 +25,12 @@ struct is_const;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if `Ty` is `const-qualified`.
+An instance of the type predicate holds true if *Ty* is `const-qualified`.
 
 ## Example
 
diff --git a/docs/standard-library/is-constructible-class.md b/docs/standard-library/is-constructible-class.md
@@ -25,15 +25,15 @@ struct is_constructible;
 
 ### Parameters
 
-`T`
+*T*
  The type to query.
 
-`Args`
- The argument types to match in a constructor of `T`.
+*Args*
+ The argument types to match in a constructor of *T*.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `T` is constructible by using the argument types in `Args`, otherwise it holds false. Type `T` is constructible if the variable definition `T t(std::declval<Args>()...);` is well-formed. Both `T` and all the types in `Args` must be complete types, `void`, or arrays of unknown bound.
+An instance of the type predicate holds true if the type *T* is constructible by using the argument types in *Args*, otherwise it holds false. Type *T* is constructible if the variable definition `T t(std::declval<Args>()...);` is well-formed. Both *T* and all the types in *Args* must be complete types, **void**, or arrays of unknown bound.
 
 ## Requirements
 
diff --git a/docs/standard-library/is-convertible-class.md b/docs/standard-library/is-convertible-class.md
@@ -25,10 +25,10 @@ struct is_convertible;
 
 ### Parameters
 
-`From`
+*From*
  The type to convert from.
 
-`Ty`
+*Ty*
  The type to convert to.
 
 ## Remarks
diff --git a/docs/standard-library/is-copy-assignable-class.md b/docs/standard-library/is-copy-assignable-class.md
@@ -25,12 +25,12 @@ struct is_copy_assignable;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a class that has a copy assignment operator, otherwise it holds false. Equivalent to is_assignable\<Ty&, const Ty&>.
+An instance of the type predicate holds true if the type *Ty* is a class that has a copy assignment operator, otherwise it holds false. Equivalent to is_assignable\<Ty&, const Ty&>.
 
 ## Requirements
 
diff --git a/docs/standard-library/is-copy-constructible-class.md b/docs/standard-library/is-copy-constructible-class.md
@@ -25,12 +25,12 @@ struct is_copy_constructible;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a class that has a copy constructor, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a class that has a copy constructor, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-default-constructible-class.md b/docs/standard-library/is-default-constructible-class.md
@@ -25,12 +25,12 @@ struct is_default_constructible;
 
 ### Parameters
 
-`T`
+*T*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `T` is a class type that has a default constructor, otherwise it holds false. This is equivalent to the predicate `is_constructible<T>`. Type `T` must be a complete type, `void`, or an array of unknown bound.
+An instance of the type predicate holds true if the type *T* is a class type that has a default constructor, otherwise it holds false. This is equivalent to the predicate `is_constructible<T>`. Type *T* must be a complete type, **void**, or an array of unknown bound.
 
 ## Example
 
diff --git a/docs/standard-library/is-destructible-class.md b/docs/standard-library/is-destructible-class.md
@@ -25,12 +25,12 @@ struct is_destructible;
 
 ### Parameters
 
-`T`
+*T*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `T` is a destructible type, otherwise it holds false. Destructible types are reference types, object types, and types where for some type `U` equal to `remove_all_extents_t<T>` the unevaluated operand `std::declval<U&>.~U()` is well-formed. Other types, including incomplete types, `void`, and function types, are not destructible types.
+An instance of the type predicate holds true if the type *T* is a destructible type, otherwise it holds false. Destructible types are reference types, object types, and types where for some type `U` equal to `remove_all_extents_t<T>` the unevaluated operand `std::declval<U&>.~U()` is well-formed. Other types, including incomplete types, **void**, and function types, are not destructible types.
 
 ## Requirements
 
diff --git a/docs/standard-library/is-empty-class.md b/docs/standard-library/is-empty-class.md
@@ -25,12 +25,12 @@ struct is_empty;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is an empty class, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is an empty class, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-enum-class.md b/docs/standard-library/is-enum-class.md
@@ -25,12 +25,12 @@ struct is_enum;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is an enumeration type or a `cv-qualified` form of an enumeration type, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is an enumeration type or a `cv-qualified` form of an enumeration type, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-final-class.md b/docs/standard-library/is-final-class.md
@@ -25,12 +25,12 @@ struct is_final;
 
 ### Parameters
 
-`T`
+*T*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `T` is a class type marked `final`, otherwise it holds false. If `T` is a class type, it must be a complete type.
+An instance of the type predicate holds true if the type *T* is a class type marked `final`, otherwise it holds false. If *T* is a class type, it must be a complete type.
 
 ## Requirements
 
diff --git a/docs/standard-library/is-floating-point-class.md b/docs/standard-library/is-floating-point-class.md
@@ -25,14 +25,14 @@ struct is_floating_point;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a floating point type or a `cv-qualified` form of a floating point type, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a floating point type or a `cv-qualified` form of a floating point type, otherwise it holds false.
 
-A floating point type is one of `float`, `double`, or `long double`.
+A floating point type is one of **float**, **double**, or **long double**.
 
 ## Example
 
diff --git a/docs/standard-library/is-function-class.md b/docs/standard-library/is-function-class.md
@@ -25,12 +25,12 @@ struct is_function;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a function type, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a function type, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-fundamental-class.md b/docs/standard-library/is-fundamental-class.md
@@ -25,12 +25,12 @@ struct is_fundamental;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a fundamental type, that is, `void`, an integral type, an floating point type, or a `cv-qualified` form of one of them, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a fundamental type, that is, **void**, an integral type, an floating point type, or a `cv-qualified` form of one of them, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-integral-class.md b/docs/standard-library/is-integral-class.md
@@ -25,14 +25,14 @@ struct is_integral;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is one of the integral types, or a `cv-qualified` form of one of the integral types, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is one of the integral types, or a `cv-qualified` form of one of the integral types, otherwise it holds false.
 
-An integral type is one of `bool`, `char`, `unsigned char`, `signed char`, `wchar_t`, `short`, `unsigned short`, `int`, `unsigned int`, `long`, and `unsigned long`. In addition, with compilers that provide them, an integral type can be one of `long long`, `unsigned long long`, `__int64`, and `unsigned __int64`.
+An integral type is one of **bool**, **char**, **unsigned char**, **signed char**, **wchar_t**, **short**, **unsigned short**, **int**, **unsigned int**, **long**, and **unsigned long**. In addition, with compilers that provide them, an integral type can be one of **long long**, **unsigned long long**, **__int64**, and **unsigned __int64**.
 
 ## Example
 
diff --git a/docs/standard-library/is-literal-type-class.md b/docs/standard-library/is-literal-type-class.md
@@ -25,12 +25,12 @@ struct is_literal_type;
 
 ### Parameters
 
-`T`
+*T*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `T` is a *literal type*, otherwise it holds false. A literal type is either `void`, a scalar type, a reference type, an array of literal type, or a literal class type. A literal class type is a class type that has a trivial destructor, is either an aggregate type or has at least one non-move, non-copy `constexpr` constructor, and all of its base classes and non-static data members are non-volatile literal types. While the type of a literal is always a literal type, the concept of a literal type includes anything that the compiler can evaluate as a `constexpr` at compile time.
+An instance of the type predicate holds true if the type *T* is a *literal type*, otherwise it holds false. A literal type is either **void**, a scalar type, a reference type, an array of literal type, or a literal class type. A literal class type is a class type that has a trivial destructor, is either an aggregate type or has at least one non-move, non-copy `constexpr` constructor, and all of its base classes and non-static data members are non-volatile literal types. While the type of a literal is always a literal type, the concept of a literal type includes anything that the compiler can evaluate as a `constexpr` at compile time.
 
 ## Requirements
 
diff --git a/docs/standard-library/is-lvalue-reference-class.md b/docs/standard-library/is-lvalue-reference-class.md
@@ -25,12 +25,12 @@ struct is_lvalue_reference;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of this type predicate holds true if the type `Ty` is a reference to an object or to a function, otherwise it holds false. Note that `Ty` may not be an rvalue reference. For more information about rvalues, see [Rvalue Reference Declarator: &&](../cpp/rvalue-reference-declarator-amp-amp.md).
+An instance of this type predicate holds true if the type *Ty* is a reference to an object or to a function, otherwise it holds false. Note that *Ty* may not be an rvalue reference. For more information about rvalues, see [Rvalue Reference Declarator: &&](../cpp/rvalue-reference-declarator-amp-amp.md).
 
 ## Requirements
 
diff --git a/docs/standard-library/is-member-function-pointer-class.md b/docs/standard-library/is-member-function-pointer-class.md
@@ -25,12 +25,12 @@ struct is_member_function_pointer;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a pointer to member function or a `cv-qualified` pointer to member function, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a pointer to member function or a `cv-qualified` pointer to member function, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-member-object-pointer-class.md b/docs/standard-library/is-member-object-pointer-class.md
@@ -25,12 +25,12 @@ struct is_member_object_pointer;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a pointer to member object or a `cv-qualified` pointer to member object, otherwise it holds false. Note that `is_member_object_pointer` holds false if `Ty` is a pointer to member function.
+An instance of the type predicate holds true if the type *Ty* is a pointer to member object or a `cv-qualified` pointer to member object, otherwise it holds false. Note that `is_member_object_pointer` holds false if *Ty* is a pointer to member function.
 
 ## Example
 
diff --git a/docs/standard-library/is-member-pointer-class.md b/docs/standard-library/is-member-pointer-class.md
@@ -25,12 +25,12 @@ struct is_member_pointer;
 
 ### Parameters
 
-`Ty`
+*Ty*
  The type to query.
 
 ## Remarks
 
-An instance of the type predicate holds true if the type `Ty` is a pointer to member function or a pointer to member object, or a `cv-qualified` form of one of them, otherwise it holds false.
+An instance of the type predicate holds true if the type *Ty* is a pointer to member function or a pointer to member object, or a `cv-qualified` form of one of them, otherwise it holds false.
 
 ## Example
 
diff --git a/docs/standard-library/is-move-assignable-class.md b/docs/standard-library/is-move-assignable-class.md
diff --git a/docs/standard-library/is-move-constructible-class.md b/docs/standard-library/is-move-constructible-class.md
diff --git a/docs/standard-library/is-nothrow-assignable-class.md b/docs/standard-library/is-nothrow-assignable-class.md
diff --git a/docs/standard-library/is-nothrow-constructible-class.md b/docs/standard-library/is-nothrow-constructible-class.md
