IDeposit: TypeC<{
    input_from_party: UnionC<[Type<Address, Address, unknown>, Type<Role, Role, unknown>]>;
    into_account: UnionC<[Type<Address, Address, unknown>, Type<Role, Role, unknown>]>;
    of_token: Type<Token, Token, unknown>;
    that_deposits: BigIntC;
}> = ...

TODO: Comment

Type declaration

See

Section 2.1.6 and appendix E.11 of the Marlowe spec