Module Mina_base.Account_timing

module Poly : sig ... end
module Stable : sig ... end
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val equal : t -> t -> bool
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val compare : t -> t -> int
type ('slot, 'balance, 'amount) tt = ( 'slot, 'balance, 'amount ) Poly.t =
| Untimed
| Timed of {
initial_minimum_balance : 'balance;
cliff_time : 'slot;
cliff_amount : 'amount;
vesting_period : 'slot;
vesting_increment : 'amount;
}
val tt_to_yojson : 'slot 'balance 'amount. ( 'slot -> Yojson.Safe.t ) -> ( 'balance -> Yojson.Safe.t ) -> ( 'amount -> Yojson.Safe.t ) -> ( 'slot, 'balance, 'amount ) tt -> Yojson.Safe.t
val tt_of_yojson : 'slot 'balance 'amount. ( Yojson.Safe.t -> 'slot Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'balance Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'amount Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'slot, 'balance, 'amount ) tt Ppx_deriving_yojson_runtime.error_or
val _ : ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'c Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'a, 'b, 'c ) tt Ppx_deriving_yojson_runtime.error_or
val tt_of_sexp : 'slot 'balance 'amount. ( Ppx_sexp_conv_lib.Sexp.t -> 'slot ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'balance ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'amount ) -> Ppx_sexp_conv_lib.Sexp.t -> ( 'slot, 'balance, 'amount ) tt
val sexp_of_tt : 'slot 'balance 'amount. ( 'slot -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'balance -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'amount -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'slot, 'balance, 'amount ) tt -> Ppx_sexp_conv_lib.Sexp.t
val equal_tt : 'slot 'balance 'amount. ( 'slot -> 'slot -> bool ) -> ( 'balance -> 'balance -> bool ) -> ( 'amount -> 'amount -> bool ) -> ( 'slot, 'balance, 'amount ) tt -> ( 'slot, 'balance, 'amount ) tt -> bool
val hash_fold_tt : 'slot 'balance 'amount. ( Ppx_hash_lib.Std.Hash.state -> 'slot -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'balance -> Ppx_hash_lib.Std.Hash.state ) -> ( Ppx_hash_lib.Std.Hash.state -> 'amount -> Ppx_hash_lib.Std.Hash.state ) -> Ppx_hash_lib.Std.Hash.state -> ( 'slot, 'balance, 'amount ) tt -> Ppx_hash_lib.Std.Hash.state
val compare_tt : 'slot 'balance 'amount. ( 'slot -> 'slot -> int ) -> ( 'balance -> 'balance -> int ) -> ( 'amount -> 'amount -> int ) -> ( 'slot, 'balance, 'amount ) tt -> ( 'slot, 'balance, 'amount ) tt -> int
module As_record : sig ... end
val var_of_t : t -> var
val untimed_var : var
val if_ : Snark_params.Tick.Boolean.var -> then_:var -> else_:var -> ( ( Snark_params.Tick.Boolean.var, Mina_numbers.Global_slot.Checked.t, Currency.Balance.var, Currency.Amount.var ) As_record.t, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t