Documentation

Fields

foldQuantification :: FORMULA f -> QUANTIFIER -> [VAR_DECL] -> a -> Range -> a

 

foldJunction :: FORMULA f -> Junctor -> [a] -> Range -> a

 

foldRelation :: FORMULA f -> a -> Relation -> a -> Range -> a

 

foldNegation :: FORMULA f -> a -> Range -> a

 

foldAtom :: FORMULA f -> Bool -> Range -> a

 

foldPredication :: FORMULA f -> PRED_SYMB -> [b] -> Range -> a

 

foldDefinedness :: FORMULA f -> b -> Range -> a

 

foldEquation :: FORMULA f -> b -> Equality -> b -> Range -> a

 

foldMembership :: FORMULA f -> b -> SORT -> Range -> a

 

foldMixfix_formula :: FORMULA f -> b -> a

 

foldSort_gen_ax :: FORMULA f -> [Constraint] -> Bool -> a

 

foldQuantOp :: FORMULA f -> OP_NAME -> OP_TYPE -> a -> a

 

foldQuantPred :: FORMULA f -> PRED_NAME -> PRED_TYPE -> a -> a

 

foldExtFORMULA :: FORMULA f -> f -> a

 

foldQual_var :: TERM f -> VAR -> SORT -> Range -> b

 

foldApplication :: TERM f -> OP_SYMB -> [b] -> Range -> b

 

foldSorted_term :: TERM f -> b -> SORT -> Range -> b

 

foldCast :: TERM f -> b -> SORT -> Range -> b

 

foldConditional :: TERM f -> b -> a -> b -> Range -> b

 

foldMixfix_qual_pred :: TERM f -> PRED_SYMB -> b

 

foldMixfix_term :: TERM f -> [b] -> b

 

foldMixfix_token :: TERM f -> Token -> b

 

foldMixfix_sorted_term :: TERM f -> SORT -> Range -> b

 

foldMixfix_cast :: TERM f -> SORT -> Range -> b

 

foldMixfix_parenthesized :: TERM f -> [b] -> Range -> b

 

foldMixfix_bracketed :: TERM f -> [b] -> Range -> b

 

foldMixfix_braced :: TERM f -> [b] -> Range -> b

 

foldExtTERM :: TERM f -> f -> b