arity_check | function_relation_check |
void arity_check(Ilist fsyms, Ilist rsyms, BOOL fatal);
void function_relation_check(Ilist fsyms, Ilist rsyms, BOOL fatal);Given a Plist of Clists, check that no symbol is used as both both a relation and a function. If the check fails, argument "fatal" says whether it should be a fatal or just a WARNING.
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.