-- The identifier which will refer to this function.
-- The type parameters this function takes.
-- The functions formal arguments (types may depend on tparams).
-- The function's return type (may depend on tparams).
-- The body of this function.
-- Flags that annotate this function with attributes.
Applies this function on its formal parameters
Applies this function on its formal parameters
-- Flags that annotate this function with attributes.
-- Flags that annotate this function with attributes.
-- The body of this function.
The (non-dependent) return type of this function definition
-- The identifier which will refer to this function.
-- The identifier which will refer to this function.
-- The functions formal arguments (types may depend on tparams).
-- The function's return type (may depend on tparams).
-- The type parameters this function takes.
Wraps this FunDef in a in TypedFunDef with the specified type parameters
Wraps this FunDef in a in TypedFunDef with its own type parameters
Function definition