HasSignature

new(env : TypeEnv, type_params : Slice(Ast::TypeParameter) | Nil = nil, parameters : Array(Parameter) = [] of Parameter, return_mode : Mode = Mode::Move, return_type : Type = Type.nil)

parameters=(parameters : Array(Parameter))

return_mode=(return_mode : Mode)

return_type=(return_type : Type)

signature=(signature : Signature)

type_context=(type_context : TypeContext)

type_params=(type_params : Slice(TypeParameter))