Uses of Class
fmrisc.ProofNavigator.Syntax.SelectorIndex

Packages that use SelectorIndex

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of SelectorIndex in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return SelectorIndex

Modifier and Type	Method and Description
static SelectorIndex	Construct.selectorIndex(Expression base) make selector from index expression base