Type Alias Z3_rcf_num 

pub type Z3_rcf_num = NonNull<_Z3_rcf_num>;

Aliased Type

pub struct Z3_rcf_num { /* private fields */ }