uction/Prop/index.html#type-t">Biabduction.Prop.t</a></span></code></dt><dd><p>Abstract a proposition but don't pay a SymOp</p></dd></dl><dl><dt class="spec value" id="val-get_current_rules"><a href="#val-get_current_rules" class="anchor"></a><code><span class="keyword">val</span> get_current_rules : unit <span>&#45;&gt;</span> <a href="index.html#type-rules">rules</a></code></dt><dd><p>Get the current rules discoveres</p></dd></dl><dl><dt class="spec value" id="val-lifted_abstract"><a href="#val-lifted_abs