Externals-StdMap

Nested Rules

Externals-StdMap.At	User-provided summary of relevant effects of a function
Externals-StdMap.Begin	User-provided summary of relevant effects of a function
Externals-StdMap.CBegin	User-provided summary of relevant effects of a function
Externals-StdMap.CEnd	User-provided summary of relevant effects of a function
Externals-StdMap.End	User-provided summary of relevant effects of a function
Externals-StdMap.Find	User-provided summary of relevant effects of a function
Externals-StdMap.RBegin	User-provided summary of relevant effects of a function
Externals-StdMap.REnd	User-provided summary of relevant effects of a function

Options

• Setting an option for this rule means setting the default for all nested rules.

• The following places define options that affect this rule: Analysis-GlobalOptions

• This rule has no individual options.