object TermNotIdentical: Predicative<ExecutionContext>
Methods
compute
protected fun Request<ExecutionContext>.compute(first: Term, second: Term): Boolean
Receiver
Name | Description |
---|---|
Request<ExecutionContext>
|
ReturnValue
Name | Description |
---|---|
Boolean
|
Implementation of
'\=='/2
predicate