- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for Estep (0.16 sec)
-
doc/go_spec.html
<code>string</code> takes the place of <code>P</code>. And since <code>string</code> is identical to <code>string</code>, this unification step succeeds as well. Unification of the LHS and RHS of the equation is now finished. Type inference succeeds because there is only one type equation, no unification step failed, and the map is fully populated. </p> <p> Unification uses a combination of <i>exact</i> and <i>loose</i>
HTML - Registered: Tue May 07 11:14:38 GMT 2024 - Last Modified: Thu May 02 22:43:51 GMT 2024 - 279.6K bytes - Viewed (0)