service1">service1</a></span> := <span><span>(<span class="type-var">'arg</span>, <span class="type-var">'output</span>, <span class="type-var">'error</span>, <span class="type-var">'security</span>)</span> <a href="../EzAPI/index.html#type-service1">EzAPI.service1</a></span> <span class="keyword">and</span> <span class="keyword">type</span> <span>('arg1, 'arg2, 'output, 'error, 'security) <a href="module-type-RAW/index.html#type-service2">service2</a></span> := <span><span>(<span class="type-var">'arg1<