Module Transaction_snark.Base
val check_timing :
balance_check:
( Snark_params.Tick.Boolean.var -> unit Snark_params.Tick.Checked.t ) ->
timed_balance_check:
( Snark_params.Tick.Boolean.var -> unit Snark_params.Tick.Checked.t ) ->
account:
( 'b,
'c,
'd,
'e,
Currency.Balance.var,
'f,
'g,
'h,
'i,
( Snark_params.Tick.Boolean.var,
Mina_numbers.Global_slot.Checked.var,
Currency.Balance.var,
Currency.Amount.var )
Mina_base.Account_timing.As_record.t,
'j,
'k )
Mina_base.Account.Poly.t ->
txn_amount:Currency.Amount.var option ->
txn_global_slot:Mina_numbers.Global_slot.Checked.var ->
([> `Min_balance of Currency.Balance.var ]
* ( Snark_params.Tick.Boolean.var,
Mina_numbers.Global_slot.Checked.var,
Currency.Balance.var,
Currency.Amount.var )
Mina_base.Account_timing.As_record.t)
Snark_params.Tick.Checked.t