c"><p><code>vcd_value v</code> should return the VCD encoding of value <code>v</code>. For example, if <code>v</code> denotes the boolean value <code>b</code>, <code>vcd_value v</code> should return <code>Rfsm.Vcd_types.Val_bool b</code>. This function should raise <a href="#exception-Unsupported_vcd"><code>Unsupported_vcd</code></a> in case of failure (if there's no corresponding VCD value)</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-flatten"><a href="#val-flatten" class=