nchor"></a><code><span><span class="keyword">val</span> vcd_type : <span><a href="#type-t">t</a> <span class="arrow">&#45;&gt;</span></span> <a href="../../../../Vcd_types/index.html#type-vcd_typ">Vcd_types.vcd_typ</a></span></code></div><div class="spec-doc"><p><code>vcd_type v</code> should return the VCD type corresponding to value <code>v</code>. For example, if <code>v</code> denotes an boolean value, <code>vcd_type v</code> should return <code>Rfsm.Vcd_types.TyBool</code>. This function should raise <