Type Definition vex_sys::Addr64[][src]

type Addr64 = ULong;