Interface | Description |
---|---|
Coercion |
A coercion.
|
Parameter |
A description of a parameter in a signature.
|
Requirement |
A requirement.
|
Signature |
Function signature interface.
|
ValueDescription |
A description of a value in a signature.
|
Copyright © 2009-2019 Aarhus University