3" target="_blank">v&nbsp;3.0</a></h6>
                    <div>
                        <input class="source-toggle" type="checkbox" id="entry__pre_hara_state_ova__has_QMARK_">
                        <label class="source-toggle" for="entry__pre_hara_state_ova__has_QMARK_"></label>
                        <pre class="source"><code class="clojure">(defn has?
  ([ova]
   (-> (select ova) empty? not))
  ([ova pchk]
   (-> (select ova pchk) empty? not)))</code></pre>
                    </div>
                