ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
parser.parser_cli._ResolverCallbacksDeps Class Reference

Static Public Attributes

Callable rewrite_relative_import [..., Any]
Callable propagate_range_aliases [..., Any]

Detailed Description

Typed bundle used to assemble ResolverCallbacks wiring.

Member Data Documentation

◆ propagate_range_aliases

Callable parser.parser_cli._ResolverCallbacksDeps.propagate_range_aliases [..., Any]
static

◆ rewrite_relative_import

Callable parser.parser_cli._ResolverCallbacksDeps.rewrite_relative_import [..., Any]
static

The documentation for this class was generated from the following file: