 : string</code></dt><dt class="spec value" id="val-short_st"><a href="#val-short_st" class="anchor"></a><code><span class="keyword">val</span> short_st : string</code></dt><dt class="spec value" id="val-constructor_name"><a href="#val-constructor_name" class="anchor"></a><code><span class="keyword">val</span> constructor_name : string</code></dt><dt class="spec value" id="val-void"><a href="#val-void" class="anchor"></a><code><span class="keyword">val</span> void : string</code></dt><dt class="spec value" 