trait UnaryFunctionTrait

Methods

with(TermInterface $t1, TermInterface ...$t)

No description

int
arity()

No description

Details

at line 21
FunctionTerm with(TermInterface $t1, TermInterface ...$t)

Parameters

TermInterface $t1
TermInterface ...$t

Return Value

FunctionTerm

at line 29
int arity()

Return Value

int