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
|