net.sourceforge.czt.z.ast

Interface LetExpr

All Superinterfaces:

Expr, Qnt1Expr, QntExpr, Term

All Known Implementing Classes:

LetExprImpl

public interface LetExpr
extends Qnt1Expr

A substitution expression (C.6.7). Note that the SchText should contain x==Expr only, and no predicate.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Methods inherited from interface net.sourceforge.czt.z.ast.QntExpr

getExpr, getSchText, getZSchText, setExpr, setSchText

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn