ass="anchored"><td class="def constructor"><a href="#type-label_pattern.ProcedureNamePattern" class="anchor"></a><code>| </code><code><span class="constructor">ProcedureNamePattern</span> <span class="keyword">of</span> <a href="index.html#type-procedure_name_pattern">procedure_name_pattern</a></code></td></tr></table></dt><dt class="spec type" id="type-label"><a href="#type-label" class="anchor"></a><code><span class="keyword">type</span> label</code><code> = </code><code>{</code><table class="record"><tr 