st</span> * <span class="type-var">'a</span>)</span> list</span> option</span></span></code></div><div class="spec-doc"><p>Find minimum set of pi's in <code>cases</code> whose disjunction covers true</p></div></div></div></body></html>