Commitdde9ec4

authored

Update docs on equivalence between gradual types (#1965)

Update docs about equivalence between gradual types to include that it is an equivalence relation

1 parent6c3f990 commitdde9ec4Copy full SHA for dde9ec4

File tree

-5

lines changed

-5

lines changed

Lines changed: 5 additions & 5 deletions

Original file line number	Diff line number	Diff line change
`@@ -298,11 +298,11 @@ visualize this analogy in the following table:`
`298`	`298`	* - ``B`` is:term:`equivalent` to ``A``
`299`	`299`	- ``B`` is:term:`consistent` with ``A``
`300`	`300`
`301`		-We can also define equivalenceon gradual types. Two gradualtypes ``A`` and
`302`		-``B`` are equivalent (that is, the same gradual type, notmerely consistent
`303`		-with one another) if and only if all materializations of``A`` are also
`304`		-materializations of ``B``, and all materializations of ``B`` are also
`305`		-materializations of ``A``.
	`301`	`+We can also definean equivalence relationon gradual types: the gradual`
	`302`	+types ``A`` and ``B`` are equivalent (that is, the same gradual type, not
	`303`	`+merely consistentwith one another) if and only if all materializations of`
	`304`	+``A`` are alsomaterializations of ``B``, and all materializations of ``B``
	`305`	+are alsomaterializations of ``A``.
`306`	`306`
`307`	`307`	`Attributes and methods`
`308`	`308`	`----------------------`

Comments

(0)