Type Definition rust_cheri_compressed_cap::cc128::Addr

type Addr = u64;