Searched refs:max_f_arity (Results 1 – 1 of 1) sorted by relevance
563 int max_f_arity = 0, in ClauseSetCollectArityInformation() local600 max_f_arity = MAX(arity, max_f_arity); in ClauseSetCollectArityInformation()613 *max_fun_arity = max_f_arity; in ClauseSetCollectArityInformation()