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