module Index : sig ... end
module Poly : sig ... end
val token : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l ) Poly.t -> 'b
val key_to_yojson : key -> Yojson.Safe.t
val key_of_yojson : Yojson.Safe.t -> key Ppx_deriving_yojson_runtime.error_or
val key_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> key
val sexp_of_key : key -> Ppx_sexp_conv_lib.Sexp.t
val equal_key : key -> key -> bool
val hash_fold_key :
Ppx_hash_lib.Std.Hash.state ->
key ->
Ppx_hash_lib.Std.Hash.state
val hash_key : key -> Ppx_hash_lib.Std.Hash.hash_value
val compare_key : key -> key -> int
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 value =
( Mina_base_import.Public_key.Compressed.t,
Token_id.t,
Token_permissions.t,
Token_symbol.t,
Currency.Balance.t,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
Timing.t,
Permissions.t,
Zkapp_account.t option )
Poly.t
val value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> value
val sexp_of_value : value -> Ppx_sexp_conv_lib.Sexp.t
type var =
( Mina_base_import.Public_key.Compressed.var,
Token_id.Checked.t,
Token_permissions.var,
Token_symbol.var,
Currency.Balance.var,
Nonce.Checked.t,
Receipt.Chain_hash.var,
Mina_base_import.Public_key.Compressed.var,
State_hash.var,
Timing.var,
Permissions.Checked.t,
Snark_params.Tick.Field.Var.t
* Zkapp_account.t option Snark_params.Tick.As_prover.Ref.t )
Poly.t
val identifier_of_var : var -> Mina_base__Account_id.var
val typ' :
( 'a,
'b,
Backend.Tick.Field.t,
( unit, Backend.Tick.Field.t ) Snarky_backendless.Checked_runner.Simple.t )
Snarky_backendless.Types.Typ.t ->
( ( Mina_base_import.Public_key.Compressed.var,
Account_id.Digest.Checked.t,
Token_permissions.var,
Token_symbol.var,
Currency.Balance.var,
Nonce.Checked.t,
Receipt.Chain_hash.var,
Mina_base_import.Public_key.Compressed.var,
State_hash.var,
Timing.var,
Permissions.Checked.t,
'c )
Poly.t,
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
Token_symbol.t,
Currency.Balance.Stable.Latest.t,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
Timing.t,
Permissions.t,
'd )
Poly.t )
Snark_params.Tick.Typ.t
val var_of_t :
value ->
( Mina_base_import.Public_key.Compressed.var,
Token_id.Checked.t,
Token_permissions.var,
( Snark_params.Tick.Boolean.var,
Pickles_types__Nat.z Token_symbol.Num_bits.plus_n )
Pickles_types.Vector.t,
Currency.Balance.var,
Nonce.Checked.var,
Receipt.Chain_hash.var,
Mina_base_import.Public_key.Compressed.var,
State_hash.var,
Timing.var,
Permissions.Checked.t,
Snark_params.Tick.Field.Var.t )
Poly.t
val empty :
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
string,
Currency.Balance.Stable.Latest.t,
Nonce.t,
Receipt.Chain_hash.t,
'a option,
State_hash.t,
( 'b, 'c, 'd ) Timing.tt,
Permissions.t,
'e option )
Poly.t
val create :
Account_id.t ->
'a ->
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
string,
'b,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
( 'c, 'd, 'e ) Timing.tt,
Permissions.t,
'f option )
Poly.t
val create_timed :
Account_id.t ->
'a ->
initial_minimum_balance:'b ->
cliff_time:Mina_numbers.Global_slot.t ->
cliff_amount:'c ->
vesting_period:Mina_numbers.Global_slot.t ->
vesting_increment:'d ->
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
string,
'e,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
( Mina_numbers.Global_slot.t, 'f, 'g ) Timing.tt,
Permissions.t,
'h option )
Poly.t
Core_kernel.Or_error.t
val create_time_locked :
Account_id.t ->
'a ->
initial_minimum_balance:'b ->
cliff_time:Mina_numbers.Global_slot.t ->
cliff_amount:'c ->
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
string,
'd,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
( Mina_numbers.Global_slot.t, 'e, 'c ) Timing.tt,
Permissions.t,
'f option )
Poly.t
Core_kernel.Or_error.t
val has_permission : to_:[< `Receive | `Send | `Set_delegate ] -> t -> bool
val gen :
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
string,
Currency.Balance.Stable.Latest.t,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
( 'a, 'b, 'c ) Timing.tt,
Permissions.t,
'd option )
Poly.t
Core_kernel__Quickcheck.Generator.t
val gen_with_constrained_balance :
low:Currency.Balance.Stable.Latest.t ->
high:Currency.Balance.Stable.Latest.t ->
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
string,
Currency.Balance.Stable.Latest.t,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
( 'a, 'b, 'c ) Timing.tt,
Permissions.t,
'd option )
Poly.t
Core_kernel__Quickcheck.Generator.t
val gen_timed :
( Mina_base_import.Public_key.Compressed.t,
Account_id.Digest.t,
Token_permissions.t,
string,
Currency.Balance.Stable.Latest.t,
Nonce.t,
Receipt.Chain_hash.t,
Mina_base_import.Public_key.Compressed.t option,
State_hash.t,
( Mina_numbers.Global_slot.t,
Currency.Balance.Stable.Latest.t,
Currency.Amount.Stable.Latest.t )
Timing.tt,
Permissions.t,
'a option )
Poly.t
Core_kernel.Or_error.t
Core_kernel__Quickcheck.Generator.t