_'s⁇return type

Grammatical restrictions:

Argument Position Prohibited Expression
Argument 1 function accepting_and returning_

Definitions:

block phrase
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Phrases, Queries
Answer the return type of the specified block.
Position Name Type Description
Parameters
1 aBlock block phrase A block.
Returns (⊤)'s type The block's return type.
function meta
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Functions, Queries
Answer the return type of the specified function type.
Position Name Type Description
Parameters
1 functionType function meta A function type.
Returns (⊤)'s type The return type of the argument.
send phrase
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Phrases, Queries
Answer the specified message send's expected return type.
Position Name Type Description
Parameters
1 aSend send phrase A message send.
Returns (⊤)'s type The requested type.

Semantic restrictions:

function meta's type
Source: /avail/Avail/Foundation/Early Functions
Type Description
Parameter Types
function meta's type