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

Packages that use WyalFile.Type.Union

Package	Description
wyal.lang
wytp.types.util

Uses of WyalFile.Type.Union in wyal.lang

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

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

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

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

Modifier and Type	Method and Description
protected WyalFile.Type	StdTypeRewriter.rewriteUnion(WyalFile.Type.Union type)
protected WyalFile.Type	AbstractTypeRewriter.rewriteUnion(WyalFile.Type.Union utype)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Union type)