abstract class AbstractCollectionOf: WithoutSideEffects<ExecutionContext>
Fields
| Name | Description |
|---|---|
val name: String
|
Constructors
<init>
constructor(name: String)
Parameters
| Name | Description |
|---|---|
name: String
|
Methods
computeAllSubstitutions
protected open fun Request<ExecutionContext>.computeAllSubstitutions(first: Term, second: Term, third: Term): Sequence
Receiver
| Name | Description |
|---|---|
Request<ExecutionContext>
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|