object CurrentOp: WithoutSideEffects<ExecutionContext>
Methods
computeAllSubstitutions
protected fun Request<ExecutionContext>.computeAllSubstitutions(first: Term, second: Term, third: Term): Sequence
Receiver
Name | Description |
---|---|
Request<ExecutionContext>
|
ReturnValue
Name | Description |
---|---|
Sequence
|