pub fn from_locals(
        module: CompiledModuleMut,
        locals: HashMap<usize, (AbstractValue, BorrowState)>,
    ) -> AbstractState {
        AbstractState {
            stack: Vec::new(),
            locals,
            register: None,
            module: module
                .freeze()
                .expect("Module should pass the bounds checker"),
            aborted: false,
        }
    }
/// Create a new AbstractState given a list of `SignatureTokens` that will be
/// the (available) locals that the state will have, as well as the module state
Create a new AbstractState given a list of `SignatureTokens` that will be
the (available) locals that the state will have, as well as the module state
Create a new AbstractState given a list of ` SignatureTokens ` that will be the ( available ) locals that the state will have as well as the module state
pub fn from_locals(
        module: CompiledModuleMut,
        locals: HashMap<usize, (AbstractValue, BorrowState)>,
    ) -> AbstractState {
        AbstractState {
            stack: Vec::new(),
            locals,
            register: None,
            module: module
                .freeze()
                .expect("Module should pass the bounds checker"),
            aborted: false,
        }
    }
pub fn from_locals ( module : CompiledModuleMut , locals : HashMap < usize , ( AbstractValue , BorrowState ) > , ) -> AbstractState { AbstractState { stack : Vec :: new ( ) , locals , register : None , module : module . freeze ( ) . expect ( " " ) , aborted : false , } }
Create a new AbstractState given a list of `SignatureTokens` that will be
the (available) locals that the state will have, as well as the module state
Create a new AbstractState given a list of ` SignatureTokens ` that will be the ( available ) locals that the state will have as well as the module state
module
CompiledModuleMut
locals
HashMap<usize, (AbstractValue, BorrowState)>