diff --git a/generic_programming.html b/generic_programming.html index 4006655..23a1241 100644 --- a/generic_programming.html +++ b/generic_programming.html @@ -141,10 +141,10 @@ int main()

Anatomy of a Concept

- A concept is a set requirements, where the requirements - consist of valid expressions, associated types, invariants, and - complexity guarantees. A type that satisfies the set of requirements is - said to model the concept. A concept can extend the + A concept is a set of requirements + consisting of valid expressions, associated types, invariants, and + complexity guarantees. A type that satisfies the requirements is + said to model the concept. A concept can extend the requirements of another concept, which is called refinement.