mina_tree::proofs::transaction::transaction_snark

Function add_burned_tokens

Source 
fn add_burned_tokens<F: FieldWitness>(
    acc_burned_tokens: CheckedAmount<F>,
    amount: CheckedAmount<F>,
    is_coinbase_or_fee_transfer: Boolean,
    update_account: Boolean,
    is_const_add_flagged: bool,
    w: &mut Witness<F>,
) -> CheckedAmount<F>