Uses of Interface
wyal.lang.WyalFile.Declaration.Named

Packages that use WyalFile.Declaration.Named

Package	Description
wyal.lang
wyal.util
wytp.types

Uses of WyalFile.Declaration.Named in wyal.lang

Classes in wyal.lang that implement WyalFile.Declaration.Named

Modifier and Type	Class and Description
static class	WyalFile.Declaration.Named.Function
static class	WyalFile.Declaration.Named.FunctionOrMacro
static class	WyalFile.Declaration.Named.Macro
static class	WyalFile.Declaration.Named.Type

Uses of WyalFile.Declaration.Named in wyal.util

Methods in wyal.util that return WyalFile.Declaration.Named

Modifier and Type	Method and Description
protected WyalFile.Declaration.Named	Interpreter.resolve(WyalFile.Expr.Invoke ivk)

Uses of WyalFile.Declaration.Named in wytp.types

Methods in wytp.types with type parameters of type WyalFile.Declaration.Named

Modifier and Type	Method and Description
<T extends WyalFile.Declaration.Named> List<T>	TypeSystem.resolveAll(wybs.util.AbstractCompilationUnit.Name name, Class<T> kind)
<T extends WyalFile.Declaration.Named> T	TypeSystem.resolveExactly(wybs.util.AbstractCompilationUnit.Name name, Class<T> kind)