module Index : sig ... endmodule Poly : sig ... endval token : ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l ) Poly.t -> 'bval key_to_yojson : key -> Yojson.Safe.tval key_of_yojson : Yojson.Safe.t -> key Ppx_deriving_yojson_runtime.error_orval key_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> keyval sexp_of_key : key -> Ppx_sexp_conv_lib.Sexp.tval equal_key : key -> key -> boolval hash_fold_key :
Ppx_hash_lib.Std.Hash.state ->
key ->
Ppx_hash_lib.Std.Hash.stateval hash_key : key -> Ppx_hash_lib.Std.Hash.hash_valueval compare_key : key -> key -> intval to_yojson : t -> Yojson.Safe.tval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tval sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.tval equal : t -> t -> boolval hash_fold_t :
Ppx_hash_lib.Std.Hash.state ->
t ->
Ppx_hash_lib.Std.Hash.stateval hash : t -> Ppx_hash_lib.Std.Hash.hash_valueval compare : t -> t -> inttype 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.tval value_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> valueval sexp_of_value : value -> Ppx_sexp_conv_lib.Sexp.ttype 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.tval identifier_of_var : var -> Mina_base__Account_id.varval 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.tval 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.tval 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.tval 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.tval 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.tval 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.tval has_permission : to_:[< `Receive | `Send | `Set_delegate ] -> t -> boolval 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.tval 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.tval 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