module

Heucristic::Resolve::Unify

Instance methods

bind(restriction : Syntax::Type, argument : Resolution, free_vars : Array(String), bindings : Array(Binding), types : Types, scope : Scope) : Nil
Source