Type Definition vex_sys::Addr32[][src]

type Addr32 = UInt;