.html#type-loc">loc</a> * <a href="index.html#type-definition">definition</a> * <a href="index.html#type-id">id</a> * <a href="index.html#type-id">id</a></code></td><td class="doc"><p>Declares a synthesis objective: SyntObjDecl(loc, decl, f1, f2 ) specifies that the function defined by decl must be equivalent to f1 composed with f2.</p></td></tr><tr id="type-definition.EnsuresDef" class="anchored"><td class="def constructor"><a href="#type-definition.EnsuresDef" class="anchor"></a><code>| </code><code><span