Signature

new(type_context : TypeContext, parameters : Array(Parameter) = [] of Parameter, return_mode : Mode = Mode::Move, return_type : Type = Type.nil)

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)

==(other : Signature) : Bool

parameters=(parameters : Array(Parameter))

return_mode=(return_mode : Mode)

return_type=(return_type : Type)

substitute(type_args : Slice(Type), ctx : TypeContext)

to_s(io : IO)

type_context=(ctx : TypeContext)