Represents a function in the typed AST.

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.