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.
v
value