trait BinaryFunctionTrait

Methods

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

No description

int
arity()

No description

Details

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

Parameters

TermInterface $t1
TermInterface $t2
TermInterface ...$t

Return Value

FunctionTerm

at line 29
int arity()

Return Value

int