QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Deployed 0e3bcba to master with MkDocs 1.4.2 and mike 1.1.2

Browse Source
This commit is contained in:
GitHub Action
2023-02-15 10:27:57 +00:00
parent 565c1a5383
commit 28f896971b
4 changed files with 14 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
master/sophia_features/index.html
+4 -4
View File
@@ -1274,10 +1274,10 @@ contract interface X : Z =
</code></pre></div>
<p>The following facts apply here:</p>
<ul>
<li><code>co('a)</code> is a subtype of <code>co('b) when</code>'a<code>is a subtype of</code>'b`</li>
<li><code>ct('a)</code> is a subtype of <code>ct('b) when</code>'b<code>is a subtype of</code>'a`</li>
<li><code>in('a)</code> is a subtype of <code>in('b) when</code>'a<code>is equal to</code>'b`</li>
<li><code>bi('a)</code> is a subtype of `bi('b) always</li>
<li><code>co('a)</code> is a subtype of <code>co('b)</code> when <code>'a</code> is a subtype of <code>'b</code></li>
<li><code>ct('a)</code> is a subtype of <code>ct('b)</code> when <code>'b</code> is a subtype of <code>'a</code></li>
<li><code>in('a)</code> is a subtype of <code>in('b)</code> when <code>'a</code> is equal to <code>'b</code></li>
<li><code>bi('a)</code> is a subtype of <code>bi('b)</code> always</li>
</ul>
<p>That altogether induce the following rules of subtyping in Sophia:</p>
<ul>