variable meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Variables, Types, Queries
Answer the read type of the specified variable type. All values read from instances of the variable type are at least as specific as the answer.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | varType | variable meta | A variable type. | |
| Returns | (⊤)'s type | The most general type that describes values that can be read from instances of varType. | ||