Function del_ip_addr_inner

pub fn del_ip_addr_inner<I: IpDeviceIpExt, BC: IpDeviceBindingsContext<I, CC::DeviceId>, CC: IpDeviceStateContext<I, BC> + GmpHandler<I, BC> + DadHandler<I, BC>>(
    core_ctx: &mut CC,
    bindings_ctx: &mut BC,
    device_id: &CC::DeviceId,
    addr: DelIpAddr<CC::AddressId, I::Addr>,
    reason: AddressRemovedReason,
    _config: &I::Configuration,
) -> Result<(AddrSubnet<I::Addr, I::AssignedWitness>, I::AddressConfig<BC::Instant>, RemoveResourceResultWithContext<AddrSubnet<I::Addr>, BC>), NotFoundError>

Deletes an IP address from a device, returning the address and its configuration if it was removed.