pub unsafe extern "C" fn Cudd_bddCompose( dd: *mut DdManager, f: *mut DdNode, g: *mut DdNode, v: c_int, ) -> *mut DdNode