Heucristic::Resolve::Scope

TOP = new(Index::TopLevel.new, Array(String).new, Array(Binding).new)

new(namespace : Index::Owner, type_vars : Array(String), bindings : Array(Binding), path : String | Nil = nil)

new(namespace : Index::Owner, type_vars : Array(String)) : Scope

of(namespace : Index::Owner, path : String | Nil = nil) : Scope

of(context : Syntax::Context) : Scope

at(path : String | Nil) : Scope

bound(name : String) : Resolution | Nil

copy_with(namespace _namespace = @namespace, type_vars _type_vars = @type_vars, bindings _bindings = @bindings, path _path = @path)