tring</code></dt><dt class="spec value" id="val-check"><a href="#val-check" class="anchor"></a><code><span class="keyword">val</span> check : <span>(<span><a href="../../Script/index.html#type-opcode">Script.opcode</a> list</span> * <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-encode"><a href="#val-encode" class="anchor"></a><code><span class="keyword">val</span> encode : <a href="../../Script/index.html#type-data">Script.data</a> <span>&#45;