object Halt1: NonBacktrackable<ExecutionContext>
Methods
computeOne
protected fun Request<ExecutionContext>.computeOne(first: Term): Response
Receiver
| Name | Description |
|---|---|
Request<ExecutionContext>
|
Parameters
| Name | Description |
|---|---|
first: Term
|
ReturnValue
| Name | Description |
|---|---|
Response
|