- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for Type_unification_rules (0.15 sec)
-
doc/go_spec.html
unification depending on whether two types have to be <a href="#Type_identity">identical</a>, <a href="#Assignability">assignment-compatible</a>, or only structurally equal. The respective <a href="#Type_unification_rules">type unification rules</a> are spelled out in detail in the <a href="#Appendix">Appendix</a>. </p> <p> For an equation of the form <code>X ≡<sub>A</sub> Y</code>,
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Tue Jun 04 21:07:21 UTC 2024 - 281.5K bytes - Viewed (1)