t</a></span></code></li><li id="type-decl.Procdecl" class="def variant constructor anchored"><a href="#type-decl.Procdecl" class="anchor"></a><code><span>| </span><span><span class="constructor">Procdecl</span> <span class="keyword">of</span> <a href="../ProcDecl/index.html#type-t">ProcDecl.t</a></span></code></li><li id="type-decl.Proc" class="def variant constructor anchored"><a href="#type-decl.Proc" class="anchor"></a><code><span>| </span><span><span class="constructor">Proc</span> <span class="keyword"