Macro spec_wrap 

macro_rules! spec_wrap {
    ($name:ident = Vec<$t:ty>) => { ... };
    ($name:ident = HashMap<$k:ty, $v:ty>) => { ... };
}

Macro for type aliases using spec wrappers (for spec alignment / formal verification).

Example

use blvm_primitives::spec_wrap;

spec_wrap!(ByteString = Vec<u8>);
// pub type ByteString = SpecVec<u8>;