th</span> <span class="keyword">type</span> <span>('output, 'error, 'security) <a href="module-type-RAW/index.html#type-service0">service0</a></span> := <span><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-service0">EzAPI.service0</a></span> <span class="keyword">and</span> <span class="keyword">type</span> <span>('arg, 'output, 'error, 'security) <a href="module-type-RAW/index.html#type-