read_/write_

Definitions:

type, type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Variables, Types, Constructors
Construct and answer a variable type from the specified read and write types.
Position Name Type Description
Parameters
1 readType type The read type of the variable type.
2 writeType type The write type of the variable type.
Returns (read ⊤/write ⊥)'s type The requested variable type.

Semantic restrictions:

any meta's type, any meta's type
Source: /avail/Avail/Foundation/Variables
Although we can't restrict the type precisely because of the invariant nature of this type relation and the conservativeness of metacovariance, we can still restrict just the read type of the result. This is sometimes enough.
Type Description
Parameter Types
any meta's type
any meta's type