Checked (mina_base.Mina_base.Account_update.Update.Timing

type t = {

initial_minimum_balance : Currency.Balance.Checked.t;

cliff_time : Mina_numbers.Global_slot.Checked.t;

cliff_amount : Currency.Amount.Checked.t;

vesting_period : Mina_numbers.Global_slot.Checked.t;

vesting_increment : Currency.Amount.Checked.t;

}

val to_hlist : 
  t ->
  ( unit,
    Currency.Balance.Checked.t ->
    Mina_numbers.Global_slot.Checked.t ->
    Currency.Amount.Checked.t ->
    Mina_numbers.Global_slot.Checked.t ->
    Currency.Amount.Checked.t ->
    unit )
    H_list.t

val of_hlist : 
  ( unit,
    Currency.Balance.Checked.t ->
    Mina_numbers.Global_slot.Checked.t ->
    Currency.Amount.Checked.t ->
    Mina_numbers.Global_slot.Checked.t ->
    Currency.Amount.Checked.t ->
    unit )
    H_list.t ->
  t

val constant : value -> t

val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val to_account_timing : t -> Account_timing.var

val of_account_timing : Account_timing.var -> t