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 |