Uses of Class
wyal.lang.WyalFile.Stmt.ExistentialQuantifier

Packages that use WyalFile.Stmt.ExistentialQuantifier

Package	Description
wyal.util

Uses of WyalFile.Stmt.ExistentialQuantifier in wyal.util

Methods in wyal.util with parameters of type WyalFile.Stmt.ExistentialQuantifier

Modifier and Type	Method and Description
protected Interpreter.Result	Interpreter.evaluateExists(WyalFile.Stmt.ExistentialQuantifier stmt, Interpreter.Environment environment)