Uses of Class
wyal.lang.WyalFile.Expr.Dereference

Packages that use WyalFile.Expr.Dereference

Package	Description
wytp.proof.rules
wytp.types.util

Uses of WyalFile.Expr.Dereference in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type WyalFile.Expr.Dereference

Modifier and Type	Method and Description
WyalFile.Expr	Simplification.simplifyDereference(WyalFile.Expr.Dereference e)

Uses of WyalFile.Expr.Dereference in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Expr.Dereference

Modifier and Type	Method and Description
protected WyalFile.Type	StdTypeInfererence.inferDereference(TypeInferer.Environment environment, WyalFile.Expr.Dereference expr)