d><p>Same as <a href="index.html#val-result_fold_rows"><code>result_fold_rows</code></a> but asserts that no row is returned.</p></dd></dl><dl><dt class="spec value" id="val-db_close"><a href="#val-db_close" class="anchor"></a><code><span class="keyword">val</span> db_close : Sqlite3.db <span>&#45;&gt;</span> unit</code></dt><dd><p>Close the given database and asserts that it was effective. Raises <a href="index.html#exception-Error"><code>Error</code></a> if not.</p></dd></dl><dl><dt class="spec module-typ