".." won't be accepted in Alloy?
<p>I have found an example of an Alloy code in an article I've been reading, this is a snippet of it :</p>

<pre><code>fun Object::equals(obj: Object) { this.class = Object_Class =&gt; this..Object_equals(obj) this.class = Dimension_Class =&gt; this..Dimension_equals(obj) this.class = Dimension3D_Class
=&gt;this..Dimension3D_equals(obj) }
</code></pre>

<p>But the ".." is not recognized in the Alloy analyzer. Does any one know if it could be replaced by another operator?</p>