// Converts a vector of SymbolicInstruction into a vector of SymbolicInstructionInfo.
// The location value for each element is set to None.
Converts a vector of SymbolicInstruction into a vector of SymbolicInstructionInfo.
The location value for each element is set to None.
Converts a vector of SymbolicInstruction into a vector of SymbolicInstructionInfo . The location value for each element is set to None .
fn to_symbolic_inst_info<'a>(
        instructions: Vec<SymbolicInstruction>,
    ) -> Vec<SymbolicInstructionInfo<'a>> {
        instructions
            .into_iter()
            .map(|inst| SymbolicInstructionInfo { location: None, instruction: inst })
            .collect()
    }
fn to_symbolic_inst_info < ' a > ( instructions : Vec < SymbolicInstruction > , ) -> Vec < SymbolicInstructionInfo < ' a > > { instructions . into_iter ( ) . map ( | inst | SymbolicInstructionInfo { location : None , instruction : inst } ) . collect ( ) }
Converts a vector of SymbolicInstruction into a vector of SymbolicInstructionInfo.
Converts a vector of SymbolicInstruction into a vector of SymbolicInstructionInfo .
instructions
Vec<SymbolicInstruction>