ap
Helper class for storing the sets of declared constants (of various kinds) and functions, together with the chosen TermOrder.
TermOrder
Check whether any of the symbols stored in this signature uses sorts as defined in ap.types.
ap.types
Helper class for storing the sets of declared constants (of various kinds) and functions, together with the chosen
TermOrder
.