arityTerm

abstract val arityTerm: Term

The indicated functor arity Term