Lines Matching refs:Arity
69 n: the maximum arity of the predicate macros to be generated.
148 // For now we only support predicates whose arity is at most %(n)s.
164 def Arity(n):
165 """Returns the English name of the given arity."""
213 'arity' : Arity(n),
214 'Arity' : Title(Arity(n))
280 // %(Arity)s predicate assertion macros.
318 """Given the maximum arity n, updates the header file that implements
427 'arity' : Arity(n),
428 'Arity' : Title(Arity(n)),
432 """// Sample functions/functors for testing %(arity)s predicate assertions.
434 // A %(arity)s predicate function.
452 // A %(arity)s predicate functor.
467 // A %(arity)s predicate-formatter function.
494 // A %(arity)s predicate-formatter functor.
