Represents a function in the typed AST.

Fields

t:Type

The return type of the function.

expr:TypedExpr

The expression of the function body.

args:Array<{value:Null<TypedExpr>, v:TVar}>

A list of function arguments identified by an argument variable `v` and an optional initialization `value`.