$$ | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
$+$ | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
&& | Data.Integer.Presburger.Notation |
.* | |
1 (Function) | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
2 (Function) | Data.Integer.OldPresburger |
/= | Data.Integer.Presburger.Notation |
:/=: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:/\: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:<: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:<=: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:<=>: | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:=: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:=>: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:>: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:>=: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:\/: | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
:| | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
< | Data.Integer.Presburger.Notation |
<+> | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
<= | Data.Integer.Presburger.Notation |
<> | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
== | Data.Integer.Presburger.Notation |
> | Data.Integer.Presburger.Notation |
>= | Data.Integer.Presburger.Notation |
add_mod | Data.Integer.Presburger.ModArith |
And | Data.Integer.Presburger.Form |
a_b_sets | Data.Integer.Presburger.Form |
Bin | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
bin_op | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
bin_op_mod | Data.Integer.Presburger.ModArith |
braces | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
brackets | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
cat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
char | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
check | |
1 (Function) | Data.Integer.Presburger.Form, Data.Integer.Presburger.Notation |
2 (Function) | Data.Integer.OldPresburger |
3 (Function) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
Chr | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
coeff | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
colon | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
comma | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Conn | Data.Integer.Presburger.Form |
CVarP | |
1 (Type/Class) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
2 (Data Constructor) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
DivCtr | Data.Integer.Presburger.SolveDiv |
Divides | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
divides | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Divs | Data.Integer.Presburger.SolveDiv |
div_mod_is | Data.Integer.Presburger.ModArith |
Doc | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
double | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
doubleQuotes | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
elim | Data.Integer.Presburger.SolveDiv |
empty | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Env | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.SolveDiv, Data.Integer.Presburger.Form |
env_empty | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
env_extend | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Equal | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
equals | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
eval_conn | Data.Integer.Presburger.Form |
eval_form | Data.Integer.Presburger.Form |
eval_prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
eval_term | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Ex | Data.Integer.Presburger.Form |
Exists | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
exists | |
1 (Function) | Data.Integer.Presburger.Notation |
2 (Function) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
extended_gcd | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
ex_step | Data.Integer.Presburger.Form |
FALSE | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
fcat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
FF | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
float | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Forall | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
forall | |
1 (Function) | Data.Integer.Presburger.Notation |
2 (Function) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
Form | Data.Integer.Presburger.Form |
Formula | |
1 (Type/Class) | Data.Integer.Presburger.Notation |
2 (Type/Class) | Data.Integer.OldPresburger |
3 (Type/Class) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
form_bound | Data.Integer.Presburger.Form |
form_lcm | Data.Integer.Presburger.Form |
form_neg_inf | Data.Integer.Presburger.Form |
form_no_inf | Data.Integer.Presburger.Form |
form_pos_inf | Data.Integer.Presburger.Form |
form_scale | Data.Integer.Presburger.Form |
fsep | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
fullRender | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
groupEither | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
hang | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
hcat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
hsep | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Ind | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
int | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
integer | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
isEmpty | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
is_constant | |
1 (Function) | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
2 (Function) | Data.Integer.OldPresburger |
is_nat | Data.Integer.Presburger.ModArith |
is_reminder | Data.Integer.Presburger.ModArith |
lbrace | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
lbrack | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
lcms | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Leaf | Data.Integer.Presburger.Form |
LeftMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
LessThan | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
LessThanEqual | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
lineLength | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
lparen | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
mapEither | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Mode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
mode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
mod_is | Data.Integer.Presburger.ModArith |
mul_mod | Data.Integer.Presburger.ModArith |
Name | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
NBin | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
NDivides | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
neg | Data.Integer.Presburger.Form |
negated | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
neg_inf | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
nest | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Node | Data.Integer.Presburger.Form |
Norm | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
norm | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
normal | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
NormProp | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Not | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
not | Data.Integer.Presburger.Notation |
num | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
OneLineMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Or | Data.Integer.Presburger.Form |
PageMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
parens | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
PosP | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
pos_inf | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
PP | |
1 (Type/Class) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
2 (Type/Class) | Data.Integer.OldPresburger |
pp | |
1 (Function) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
2 (Function) | Data.Integer.OldPresburger |
pprop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
pp_neg | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
pp_neg_div | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Prop | |
1 (Type/Class) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
2 (Data Constructor) | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
PStr | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
ptext | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
punctuate | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Quant | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
quotes | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
rational | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
rbrace | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
rbrack | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
RelOp | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
render | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
renderStyle | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
ribbonsPerLine | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
rparen | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
scale | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
semi | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
sep | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
SignPP | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
simplify | |
1 (Function) | Data.Integer.Presburger.Form |
2 (Function) | Data.Integer.OldPresburger |
simplify_prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
sizedText | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
space | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
split_ands | Data.Integer.Presburger.Form |
split_divs | Data.Integer.Presburger.Form |
split_term | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Str | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
Style | |
1 (Data Constructor) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
2 (Type/Class) | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
style | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
subst_form | Data.Integer.Presburger.Form |
subst_prop | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
subst_term | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
sub_mod | Data.Integer.Presburger.ModArith |
Term | |
1 (Type/Class) | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form, Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
2 (Type/Class) | Data.Integer.OldPresburger |
text | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
TextDetails | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
thm_as | Data.Integer.Presburger.Form |
thm_bs | Data.Integer.Presburger.Form |
translate | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
TRUE | |
1 (Data Constructor) | Data.Integer.OldPresburger |
2 (Data Constructor) | Data.Integer.Presburger.HOAS, Data.Integer.Presburger |
var | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
VarP | Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
var_name | Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
vcat | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
zeroWidthText | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
ZigZagMode | Data.Integer.Presburger.Utils, Data.Integer.Presburger.Term, Data.Integer.Presburger.Prop, Data.Integer.Presburger.Form |
|| | Data.Integer.Presburger.Notation |