Type Definition z3_sys::Z3_rcf_num

source · 
pub type Z3_rcf_num = *mut _Z3_rcf_num;