Type Definition z3_sys::Z3_literals

source · 
pub type Z3_literals = *mut _Z3_literals;