Function withdraw 

pub async fn withdraw(
    registry: &RegistryClient,
    allocation_id: &ContractId<Allocation>,
) -> Result<TokenCommand>

Build the exercise that withdraws an allocation, releasing the holdings.

The sender’s move, before settlement.

Errors

As any registry call.