c type" id="type-model"><a href="#type-model" class="anchor"></a><code><span class="keyword">type</span> model</code><code> = </code><code>{</code><table class="record"><tr id="type-model.exec" class="anchored"><td class="def field"><a href="#type-model.exec" class="anchor"></a><code>exec : <a href="index.html#type-exec_fun">exec_fun</a>;</code></td></tr><tr id="type-model.check" class="anchored"><td class="def field"><a href="#type-model.check" class="anchor"></a><code>check : <a href="index.html#type-chec