pub unsafe fn cost_recursive_union( arg_runion: *mut Path, arg_nrterm: *mut Path, arg_rterm: *mut Path, )