Concept
7
Description
Refinement of
When mutable:
@(@=@)@
@@(@@
@@=@@@@)@@
Definitions
Type expressions
Only when mutable
must be
,
and
.
Valid expressions
T
P
S
O
Name
Expression
Type
Precondition
Semantics
Postcondition
Complexity
Invariants
Models
See also
identical to
convertible to
Convertible to
convertible to
derived from
Derived from
derived from
assignable to
Assignable to
assignable to
a model
Models
models
(along with
and
, and
,
)
of
Associated types
Name
Code
Description
,
and
Notation
A type playing the role of
in the
concept.
Objects of type
warning: cannot find concept '
'