Function detach::detached_provider_1

pub(crate) fn detached_provider_1(
    counter: SharedChannel<LinearToShared<SendValue<u64, Release>>>
) -> Session<ReceiveValue<u64, SharedToLinear<LinearToShared<SendValue<u64, Release>>>>>