Function gen_account_update_body_components

fn gen_account_update_body_components<A, B, C, D>(
    params: BodyComponentsParams<'_, A, B, C, D>,
    gen_balance_change: impl Fn(&Account) -> A,
    gen_use_full_commitment: impl Fn(&AccountPreconditions) -> B,
    f_balance_change: impl Fn(&A) -> Signed<Amount>,
    f_token_id: impl Fn(&TokenId) -> C,
    f_account_precondition: impl Fn(bool, &Account) -> D,
    f_account_update_account_precondition: impl Fn(&D) -> AccountPreconditions,
) -> AccountUpdateBodyComponents<A, B, C, D>

The type a is associated with the delta field, which is an unsigned fee for the fee payer, and a signed amount for other zkapp_command. The type b is associated with the use_full_commitment field, which is unit for the fee payer, and bool for other zkapp_command. The type c is associated with the token_id field, which is unit for the fee payer, and Token_id.t for other zkapp_command. The type d is associated with the account_precondition field, which is a nonce for the fee payer, and Account_precondition.t for other zkapp_command