le and initialize all the necessary tables</p></div></div><div class="odoc-spec"><div class="spec type" id="type-registered_stmt" class="anchored"><a href="#type-registered_stmt" class="anchor"></a><code><span><span class="keyword">type</span> registered_stmt</span></code></div></div><div class="odoc-spec"><div class="spec value" id="val-register_statement" class="anchored"><a href="#val-register_statement" class="anchor"></a><code><span><span class="keyword">val</span> register_statement : 
  <span><span><