File tree Expand file tree Collapse file tree 2 files changed +4
-3
lines changed Expand file tree Collapse file tree 2 files changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -1894,7 +1894,7 @@ By supplying this annotation the author of the code explicitly declares that saf
18941894> // Need to find variance of F1<in Foo<S>, out Unit> in S
18951895> // F1<in P1, out R> is contravariant (-) in P1
18961896> // Foo<S> is contravariant (-) in S
1897- > // Applying variance composition: - \text{$\otimes$} - = + (covariance)
1897+ > // Applying variance composition: - ⊗ - = + (covariance)
18981898> // Variance of F1<in Foo<S>, out Unit> in S -- covariance
18991899> }
19001900>
@@ -1906,8 +1906,8 @@ By supplying this annotation the author of the code explicitly declares that saf
19061906> // test has type F1<in In<In<I>>, out Unit>
19071907> // Need to find variance of F1<in In<In<I>>, out Unit> in I
19081908> // In<I> is contravariant (-) in I
1909- > // In<In<I>> is covariant in I, since - $\otimes$ - = + (covariance)
1910- > // F1<in In<In<I>>> is contravariant in I, since - $\otimes$ + = - (contravariance)
1909+ > // In<In<I>> is covariant in I, since - ⊗ - = + (covariance)
1910+ > // F1<in In<In<I>>> is contravariant in I, since - ⊗ + = - (contravariance)
19111911> }
19121912> ```
19131913>
Original file line number Diff line number Diff line change 2727\newunicodechar {⊆}{$ \subseteq $ }
2828\newunicodechar {⊤}{$ \top $ }
2929\newunicodechar {⊥}{$ \bot $ }
30+ \newunicodechar {⊗}{$ \otimes $ }
3031
3132\hyphenation {
3233Sus-pend-Co-ro-u-ti-ne-Un-in-ter-cep-ted-Or-Re-turn
You can’t perform that action at this time.
0 commit comments