object EnsureExecutable: TypeEnsurer<ExecutionContext>
Methods
ensureType
fun Request<ExecutionContext>.ensureType(context: ExecutionContext, term: Term)
Receiver
| Name | Description |
|---|---|
Request<ExecutionContext>
|
Parameters
| Name | Description |
|---|---|
context: ExecutionContext
|
|
term: Term
|
ReturnValue
| Name | Description |
|---|---|
Unit
|