pub fn check_timing<F: FieldWitness, Fun>(
account: &Account,
txn_amount: Option<&CheckedAmount<F>>,
txn_global_slot: CheckedSlot<F>,
timed_balance_check: Fun,
w: &mut Witness<F>,
) -> (CheckedBalance<F>, Timing)
pub fn check_timing<F: FieldWitness, Fun>(
account: &Account,
txn_amount: Option<&CheckedAmount<F>>,
txn_global_slot: CheckedSlot<F>,
timed_balance_check: Fun,
w: &mut Witness<F>,
) -> (CheckedBalance<F>, Timing)