| Interface | Description |
|---|---|
| ArbitraryProvider |
Implementation of this class are used to provide default arbitraries to
ForAll parameters without an explicit provider reference. |
| ArbitraryProvider.SubtypeProvider | |
| TypeUsage |
An instance of
TypeUsage describes the information available for parameter or return types. |
| Class | Description |
|---|---|
| TypeUsage.TypeUsageFacade |