Uses of Class
fmrisc.ProofNavigator.Syntax.UpdateTerm

Packages that use UpdateTerm

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of UpdateTerm in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return UpdateTerm

Modifier and Type	Method and Description
static UpdateTerm	Construct.updateTerm(Expression base1, Selector[] base2, Expression value) construct component update by index selection from base, base2, and base3