Type Definition libvex_sys::Addr32 [] [src]

type Addr32 = UInt;