UnaryFunctionTrait
trait UnaryFunctionTrait
Methods
int
arity()
No description
trait UnaryFunctionTrait
No description
FunctionTerm
with(TermInterface $t1, TermInterface ...$t)
int
arity()