Member predicate Concept::getExpr

Gets the constraint expression of the concept.

For example, in

template<class T>
concept C = std::is_same<T, int>::value;

the constraint expression is std::is_same<T, int>::value.