Type Alias CurrentArch 

pub type CurrentArch = X86Arch;

The architecture selected by the current verification target.

Aliased Type

pub struct CurrentArch;