e.list</span> * <a href="index.html#type-id">id</a> * <span><a href="index.html#type-id">id</a> Base.list</span> * <span><a href="index.html#type-term">term</a> Base.option</span> * <span><a href="index.html#type-term">term</a> Base.option</span> * <a href="index.html#type-pmrs_body">pmrs_body</a></code></td><td class="doc"><p>A PMRS declaration (loc, syntobjs, name, params, p_requires, p_ensures, body) is a PMRS where:</p><ul><li>loc is a location</li><li>syntobjs is a list of identifiers of the objects to