Type Definition move_bytecode_verifier::absint::InvariantMap
source · [−]pub type InvariantMap<State, AnalysisError> = BTreeMap<BlockId, BlockInvariant<State, AnalysisError>>;Expand description
A map from block id’s to the pre/post of each block after a fixed point is reached.