/usr/share/doc/libghc-presburger-doc/html/doc-index.html is in libghc-presburger-doc 1.3.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 | <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>presburger-1.3.1: A decision procedure for quantifier-free linear arithmetic. (Index)</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">presburger-1.3.1: A decision procedure for quantifier-free linear arithmetic.</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">:&&</td><td class="module"><a href="Data-Integer-SAT.html#v::-38--38-">Data.Integer.SAT</a></td></tr><tr><td class="src">:*</td><td class="module"><a href="Data-Integer-SAT.html#v::-42-">Data.Integer.SAT</a></td></tr><tr><td class="src">:+</td><td class="module"><a href="Data-Integer-SAT.html#v::-43-">Data.Integer.SAT</a></td></tr><tr><td class="src">:-</td><td class="module"><a href="Data-Integer-SAT.html#v::-45-">Data.Integer.SAT</a></td></tr><tr><td class="src">:/=</td><td class="module"><a href="Data-Integer-SAT.html#v::-47--61-">Data.Integer.SAT</a></td></tr><tr><td class="src">:<</td><td class="module"><a href="Data-Integer-SAT.html#v::-60-">Data.Integer.SAT</a></td></tr><tr><td class="src">:<=</td><td class="module"><a href="Data-Integer-SAT.html#v::-60--61-">Data.Integer.SAT</a></td></tr><tr><td class="src">:==</td><td class="module"><a href="Data-Integer-SAT.html#v::-61--61-">Data.Integer.SAT</a></td></tr><tr><td class="src">:></td><td class="module"><a href="Data-Integer-SAT.html#v::-62-">Data.Integer.SAT</a></td></tr><tr><td class="src">:>=</td><td class="module"><a href="Data-Integer-SAT.html#v::-62--61-">Data.Integer.SAT</a></td></tr><tr><td class="src">:||</td><td class="module"><a href="Data-Integer-SAT.html#v::-124--124-">Data.Integer.SAT</a></td></tr><tr><td class="src">allInerts</td><td class="module"><a href="Data-Integer-SAT.html#v:allInerts">Data.Integer.SAT</a></td></tr><tr><td class="src">allSolutions</td><td class="module"><a href="Data-Integer-SAT.html#v:allSolutions">Data.Integer.SAT</a></td></tr><tr><td class="src">assert</td><td class="module"><a href="Data-Integer-SAT.html#v:assert">Data.Integer.SAT</a></td></tr><tr><td class="src">Bound</td><td> </td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Integer-SAT.html#t:Bound">Data.Integer.SAT</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Integer-SAT.html#v:Bound">Data.Integer.SAT</a></td></tr><tr><td class="src">BoundType</td><td class="module"><a href="Data-Integer-SAT.html#t:BoundType">Data.Integer.SAT</a></td></tr><tr><td class="src">checkSat</td><td class="module"><a href="Data-Integer-SAT.html#v:checkSat">Data.Integer.SAT</a></td></tr><tr><td class="src">Div</td><td class="module"><a href="Data-Integer-SAT.html#v:Div">Data.Integer.SAT</a></td></tr><tr><td class="src">dotPropSet</td><td class="module"><a href="Data-Integer-SAT.html#v:dotPropSet">Data.Integer.SAT</a></td></tr><tr><td class="src">Expr</td><td class="module"><a href="Data-Integer-SAT.html#t:Expr">Data.Integer.SAT</a></td></tr><tr><td class="src">fromName</td><td class="module"><a href="Data-Integer-SAT.html#v:fromName">Data.Integer.SAT</a></td></tr><tr><td class="src">getExprBound</td><td class="module"><a href="Data-Integer-SAT.html#v:getExprBound">Data.Integer.SAT</a></td></tr><tr><td class="src">getExprRange</td><td class="module"><a href="Data-Integer-SAT.html#v:getExprRange">Data.Integer.SAT</a></td></tr><tr><td class="src">If</td><td class="module"><a href="Data-Integer-SAT.html#v:If">Data.Integer.SAT</a></td></tr><tr><td class="src">iPickBounded</td><td class="module"><a href="Data-Integer-SAT.html#v:iPickBounded">Data.Integer.SAT</a></td></tr><tr><td class="src">K</td><td class="module"><a href="Data-Integer-SAT.html#v:K">Data.Integer.SAT</a></td></tr><tr><td class="src">Lower</td><td class="module"><a href="Data-Integer-SAT.html#v:Lower">Data.Integer.SAT</a></td></tr><tr><td class="src">Mod</td><td class="module"><a href="Data-Integer-SAT.html#v:Mod">Data.Integer.SAT</a></td></tr><tr><td class="src">Name</td><td class="module"><a href="Data-Integer-SAT.html#t:Name">Data.Integer.SAT</a></td></tr><tr><td class="src">Negate</td><td class="module"><a href="Data-Integer-SAT.html#v:Negate">Data.Integer.SAT</a></td></tr><tr><td class="src">noProps</td><td class="module"><a href="Data-Integer-SAT.html#v:noProps">Data.Integer.SAT</a></td></tr><tr><td class="src">Not</td><td class="module"><a href="Data-Integer-SAT.html#v:Not">Data.Integer.SAT</a></td></tr><tr><td class="src">PFalse</td><td class="module"><a href="Data-Integer-SAT.html#v:PFalse">Data.Integer.SAT</a></td></tr><tr><td class="src">ppInerts</td><td class="module"><a href="Data-Integer-SAT.html#v:ppInerts">Data.Integer.SAT</a></td></tr><tr><td class="src">Prop</td><td class="module"><a href="Data-Integer-SAT.html#t:Prop">Data.Integer.SAT</a></td></tr><tr><td class="src">PropSet</td><td class="module"><a href="Data-Integer-SAT.html#t:PropSet">Data.Integer.SAT</a></td></tr><tr><td class="src">PTrue</td><td class="module"><a href="Data-Integer-SAT.html#v:PTrue">Data.Integer.SAT</a></td></tr><tr><td class="src">sizePropSet</td><td class="module"><a href="Data-Integer-SAT.html#v:sizePropSet">Data.Integer.SAT</a></td></tr><tr><td class="src">slnCurrent</td><td class="module"><a href="Data-Integer-SAT.html#v:slnCurrent">Data.Integer.SAT</a></td></tr><tr><td class="src">slnEnumerate</td><td class="module"><a href="Data-Integer-SAT.html#v:slnEnumerate">Data.Integer.SAT</a></td></tr><tr><td class="src">slnNextVal</td><td class="module"><a href="Data-Integer-SAT.html#v:slnNextVal">Data.Integer.SAT</a></td></tr><tr><td class="src">slnNextVar</td><td class="module"><a href="Data-Integer-SAT.html#v:slnNextVar">Data.Integer.SAT</a></td></tr><tr><td class="src">tConst</td><td class="module"><a href="Data-Integer-SAT.html#v:tConst">Data.Integer.SAT</a></td></tr><tr><td class="src">toName</td><td class="module"><a href="Data-Integer-SAT.html#v:toName">Data.Integer.SAT</a></td></tr><tr><td class="src">Upper</td><td class="module"><a href="Data-Integer-SAT.html#v:Upper">Data.Integer.SAT</a></td></tr><tr><td class="src">Var</td><td class="module"><a href="Data-Integer-SAT.html#v:Var">Data.Integer.SAT</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.16.1</p></div></body></html>
|