Member predicate TypeParameter :: isDefaultConstructible
Holds if this type parameter has the new
constraint.
predicate
isDefaultConstructible
(
)