ap.parser
An uninterpreted function with fixed arity. The function can optionally be partial (no totality axiom) or relational (no functionality axiom).
partial
relational
An uninterpreted function with fixed arity. The function can optionally be
partial
(no totality axiom) orrelational
(no functionality axiom).