FuncType

A function type, such as (Int, ?Int) -> Int.

Inherits from: TypeExpr

Fields

input @ (TypeExpr | nil) ^[get]

The < implicit parameter, giving the ambient input, or nil when absent.

items @ Array[TypeItem] ^[get]

The items of the parameter list, in the order written.

output @ (TypeExpr | nil) ^[get]

The > implicit parameter, giving the ambient output, or nil when absent.

ret @ TypeExpr ^[get]

The return type.