Uses of Class
wyal.lang.WyalFile.Type.Invariant

Packages that use WyalFile.Type.Invariant

Package	Description
wyal.lang
wytp.types.util

Uses of WyalFile.Type.Invariant in wyal.lang

Methods in wyal.lang that return WyalFile.Type.Invariant

Modifier and Type	Method and Description
WyalFile.Type.Invariant	WyalFile.Type.Invariant.clone(wybs.lang.SyntacticItem[] operands)

Uses of WyalFile.Type.Invariant in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Type.Invariant

Modifier and Type	Method and Description
protected WyalFile.Type	AbstractTypeRewriter.rewriteInvariant(WyalFile.Type.Invariant type)