pub unsafe extern "C" fn Cudd_MakeZddTreeNode( dd: *mut DdManager, low: c_uint, size: c_uint, mtr_type: c_uint, ) -> *mut MtrNode