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))
278 // %(Arity)s predicate assertion macros.
316 """Given the maximum arity n, updates the header file that implements
425 'arity' : Arity(n),
426 'Arity' : Title(Arity(n)),
430 """// Sample functions/functors for testing %(arity)s predicate assertions.
432 // A %(arity)s predicate function.
450 // A %(arity)s predicate functor.
465 // A %(arity)s predicate-formatter function.
491 // A %(arity)s predicate-formatter functor.
