_'s⁇read type

Definitions:

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.