A is given by the name of a class and a list of methods where it is understood that any of the methods listed for the given class returns an object that is known to have scope SA. (This can be seen as a form of lightweight modeling.) A scope class is the name of the class that represents a given scope.</p><div class="odoc-spec"><div class="spec module anchored" id="module-Summary"><a href="#module-Summary" class="anchor"></a><code><span><span class="keyword">module</span> <a href="Summary/index.html">Summar