|
..
|
|
AddClarifyingParensIntention
|
|
ExtractExpressionToFunctionIntention
|
|
GenerateFunctionFromGoalIntention
|
|
ImplementFieldsInCoClauseIntention
|
|
ImplementFieldsInNewExprIntention
|
|
RemoveClarifyingParensIntention
|
|
ReplaceMetaWithResultIntention
|
|
ReplaceWithNormalFormIntention
|
|
ReplaceWithShortNameIntention
|
|
SplitAtomPatternIntention
|
|
SwapInfixOperatorArgumentsIntention
|
|
WrapInGoalIntention
|