Returns the function name excluding the address and the module name

Return the source text for the given location.

Attempt to compute a struct tag for (`mid`, `sid`, `ts`). Returns `Some` if all types in `ts` are closed, `None` otherwise

Gets the tag associated with this variant.

Return the number of type parameters for self

Returns the set of modules this one uses.

Gets the number of user declared locals of this function, excluding locals which have been introduced by transformations.

Globalizes a list of signatures.

Returns iterator over FunctionEnvs in this module.

Attempt to convert this type into a language_storage::StructTag

NOTE: module is generated fully if any function inside is generated, in that case we need to generate proper datatype

Return true if this type contains generic types (i.e., types that can be instantiated).

A function which can be implemented to indicate that instead of a sequence of initialize, process, and finalize, this processor has a single `run` fun

Apply `f` to each (access path, data) pair encoded in `self`

Apply `f` to all (access path, Option<data>) pairs encoded in `self`

kill(dest): remove entry for dest and remove dest from all entries

Join an iterator of boolean expressions with a boolean binary operator.

Return the temporaries this instruction modifies and how the temporaries are modified. For a temporary with TempIndex $t, if $t is modified by the in

Create a new attribute id and populate location table.

Allocates a new node id and assigns location and type to it.

Computes the next available index for AttrId.

Computes the next available index for Label.

Return an iterator of effective pre conditions.

Variant of `print_targets_for_test` with toggles to select which annotations are rendered in-line with the printed bytecode (e.g., hide live vars by d

Calls a function to process the code written so far. This is embedded into a function so we ensure correct scoping of borrowed RefCell content.

Helper to project the 1st element from a vector of pairs.

Remaps variables in the instruction.

Remaps variables in source position in the instruction.

Writes accumulated diagnostics that pass through `filter`

Resolve a potentially-qualified function name to a QualifiedId. Supports: `function` (searched in `caller_module`), `module::function`, and `package::

Top-level entry for rewriting an expression. Can be re-implemented to do some pre/post processing embedding a call to `do_rewrite`.

Build the move model with default compilation flags and custom options and a set of provided named addreses. This collects transitive dependencies for

Build the move model with custom compilation flags and custom options This collects transitive dependencies for move sources from the provided directo

Runs the pipeline on all functions in the targets holder. Processors are run on each individual function in breadth-first fashion; i.e. a processor ca

Sets the default location as well as information about the verification condition message associated with the next instruction generated with `emit_wi

table/object_table intrinsic functions

Track location for execution trace, avoiding to track the same line multiple times.

Translates one bytecode instruction.

Tries to substitute or assign a variable. Returned option is Some if unification was performed, None if not.

Like `update_access_path`, but always performs a weak update

Shortcut to update node type.