Externals-GNUBuiltins

Nested Rules

Externals-BuiltinExpect

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.