|
|
@@ -141,10 +141,10 @@ int main()
|
|
|
</blockquote>
|
|
|
|
|
|
<h2><a name="concept">Anatomy of a Concept</a></h2>
|
|
|
- A <b><i>concept</i></b> 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 <b><i>model</i></b> the concept. A concept can extend the
|
|
|
+ A <b><i>concept</i></b> is a set of requirements
|
|
|
+ consisting of valid expressions, associated types, invariants, and
|
|
|
+ complexity guarantees. A type that satisfies the requirements is
|
|
|
+ said to <b><i>model</i></b> the concept. A concept can extend the
|
|
|
requirements of another concept, which is called
|
|
|
<b><i>refinement</i></b>.
|
|
|
|