LuaU how to typecheck as function

[itsfate0]

function example(parameter: () -> nil)
    parameter()
end

or

example: (parameter: () -> nil) -> nil = function(parameter)

end

and you have types for the function arguments.