pub fn checked_min_balance_at_slot<F: FieldWitness>(
global_slot: &CheckedSlot<F>,
cliff_time: &CheckedSlot<F>,
cliff_amount: &CheckedAmount<F>,
vesting_period: &CheckedSlotSpan<F>,
vesting_increment: &CheckedAmount<F>,
initial_minimum_balance: &CheckedBalance<F>,
w: &mut Witness<F>,
) -> CheckedBalance<F>