Package-level declarations

Primitive: Answer a function built from the function and the outer variables.

Primitive: Create a function type from a tuple of argument types and a return type.

Primitive: Answer the most general function type with the given return type.

Primitive: Construct a function that conforms to the specified function. When applied, it applies the specified function and answers that function's result.

Primitive: Answer a phrase that represents the decompiled function.

Primitive: Answer the message associated with the specified function.

Primitive: Answer the tuple of outer variables captured by this function.

Primitive: Answer a tuple type describing the parameters accepted by the function type.

Primitive: Answer the type of the parameter at the given index within the given functionType.

Primitive: Answer the return type of the given functionType.