diff options
Diffstat (limited to 'spec/03-types.md')
-rw-r--r-- | spec/03-types.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/03-types.md b/spec/03-types.md index a1ab025abe..66ddee8b7e 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -155,7 +155,7 @@ Some type designators and their expansions are listed below. We assume a local type parameter $t$, a value `maintable` with a type member `Node` and the standard class `scala.Int`, -| | | +| Designator | Expansion | |-------------------- | --------------------------| |t | ε.type#t | |Int | scala.type#Int | @@ -796,11 +796,11 @@ We define two relations between types. |Name | Symbolically |Interpretation | |-----------------|----------------|-------------------------------------------------| -|Type equivalence |$T \equiv U$ |$T$ and $U$ are interchangeable in all contexts. | +|Equivalence |$T \equiv U$ |$T$ and $U$ are interchangeable in all contexts. | |Conformance |$T <: U$ |Type $T$ conforms to type $U$. | -### Type Equivalence +### Equivalence Equivalence $(\equiv)$ between types is the smallest congruence [^congruence] such that the following holds: |