cpp/types/is default constructible

@1@ Provides the member constant equal to.

@2@ Provides the member constant equal to.

@3@ Provides the member constant equal to.