Variants (mina_base.Mina_base.Transaction

val predicate : t Variantslib.Variant.t

val source_not_present : t Variantslib.Variant.t

val receiver_not_present : t Variantslib.Variant.t

val amount_insufficient_to_create_account : t Variantslib.Variant.t

val cannot_pay_creation_fee_in_token : t Variantslib.Variant.t

val source_insufficient_balance : t Variantslib.Variant.t

val source_minimum_balance_violation : t Variantslib.Variant.t

val receiver_already_exists : t Variantslib.Variant.t

val token_owner_not_caller : t Variantslib.Variant.t

val overflow : t Variantslib.Variant.t

val global_excess_overflow : t Variantslib.Variant.t

val local_excess_overflow : t Variantslib.Variant.t

val local_supply_increase_overflow : t Variantslib.Variant.t

val global_supply_increase_overflow : t Variantslib.Variant.t

val signed_command_on_zkapp_account : t Variantslib.Variant.t

val zkapp_account_not_present : t Variantslib.Variant.t

val update_not_permitted_balance : t Variantslib.Variant.t

val update_not_permitted_timing_existing_account : t Variantslib.Variant.t

val update_not_permitted_delegate : t Variantslib.Variant.t

val update_not_permitted_app_state : t Variantslib.Variant.t

val update_not_permitted_verification_key : t Variantslib.Variant.t

val update_not_permitted_sequence_state : t Variantslib.Variant.t

val update_not_permitted_zkapp_uri : t Variantslib.Variant.t

val update_not_permitted_token_symbol : t Variantslib.Variant.t

val update_not_permitted_permissions : t Variantslib.Variant.t

val update_not_permitted_nonce : t Variantslib.Variant.t

val update_not_permitted_voting_for : t Variantslib.Variant.t

val zkapp_command_replay_check_failed : t Variantslib.Variant.t

val fee_payer_nonce_must_increase : t Variantslib.Variant.t

val fee_payer_must_be_signed : t Variantslib.Variant.t

val account_balance_precondition_unsatisfied : t Variantslib.Variant.t

val account_nonce_precondition_unsatisfied : t Variantslib.Variant.t

val account_receipt_chain_hash_precondition_unsatisfied : 
  t Variantslib.Variant.t

val account_delegate_precondition_unsatisfied : t Variantslib.Variant.t

val account_sequence_state_precondition_unsatisfied : t Variantslib.Variant.t

val account_app_state_precondition_unsatisfied : 
  ( int -> t ) Variantslib.Variant.t

val account_proved_state_precondition_unsatisfied : t Variantslib.Variant.t

val account_is_new_precondition_unsatisfied : t Variantslib.Variant.t

val protocol_state_precondition_unsatisfied : t Variantslib.Variant.t

val incorrect_nonce : t Variantslib.Variant.t

val invalid_fee_excess : t Variantslib.Variant.t

val cancelled : t Variantslib.Variant.t

val fold : 
  init:'a ->
  predicate:( 'b -> t Variantslib.Variant.t -> 'c ) ->
  source_not_present:( 'd -> t Variantslib.Variant.t -> 'e ) ->
  receiver_not_present:( 'f -> t Variantslib.Variant.t -> 'g ) ->
  amount_insufficient_to_create_account:( 'h -> t Variantslib.Variant.t -> 'i ) ->
  cannot_pay_creation_fee_in_token:( 'j -> t Variantslib.Variant.t -> 'k ) ->
  source_insufficient_balance:( 'l -> t Variantslib.Variant.t -> 'm ) ->
  source_minimum_balance_violation:( 'n -> t Variantslib.Variant.t -> 'o ) ->
  receiver_already_exists:( 'p -> t Variantslib.Variant.t -> 'q ) ->
  token_owner_not_caller:( 'r -> t Variantslib.Variant.t -> 's ) ->
  overflow:( 't -> t Variantslib.Variant.t -> 'u ) ->
  global_excess_overflow:( 'v -> t Variantslib.Variant.t -> 'w ) ->
  local_excess_overflow:( 'x -> t Variantslib.Variant.t -> 'y ) ->
  local_supply_increase_overflow:( 'z -> t Variantslib.Variant.t -> 'a1 ) ->
  global_supply_increase_overflow:( 'b1 -> t Variantslib.Variant.t -> 'c1 ) ->
  signed_command_on_zkapp_account:( 'd1 -> t Variantslib.Variant.t -> 'e1 ) ->
  zkapp_account_not_present:( 'f1 -> t Variantslib.Variant.t -> 'g1 ) ->
  update_not_permitted_balance:( 'h1 -> t Variantslib.Variant.t -> 'i1 ) ->
  update_not_permitted_timing_existing_account:
    ( 'j1 -> t Variantslib.Variant.t -> 'k1 ) ->
  update_not_permitted_delegate:( 'l1 -> t Variantslib.Variant.t -> 'm1 ) ->
  update_not_permitted_app_state:( 'n1 -> t Variantslib.Variant.t -> 'o1 ) ->
  update_not_permitted_verification_key:
    ( 'p1 -> t Variantslib.Variant.t -> 'q1 ) ->
  update_not_permitted_sequence_state:( 'r1 -> t Variantslib.Variant.t -> 's1 ) ->
  update_not_permitted_zkapp_uri:( 't1 -> t Variantslib.Variant.t -> 'u1 ) ->
  update_not_permitted_token_symbol:( 'v1 -> t Variantslib.Variant.t -> 'w1 ) ->
  update_not_permitted_permissions:( 'x1 -> t Variantslib.Variant.t -> 'y1 ) ->
  update_not_permitted_nonce:( 'z1 -> t Variantslib.Variant.t -> 'a2 ) ->
  update_not_permitted_voting_for:( 'b2 -> t Variantslib.Variant.t -> 'c2 ) ->
  zkapp_command_replay_check_failed:( 'd2 -> t Variantslib.Variant.t -> 'e2 ) ->
  fee_payer_nonce_must_increase:( 'f2 -> t Variantslib.Variant.t -> 'g2 ) ->
  fee_payer_must_be_signed:( 'h2 -> t Variantslib.Variant.t -> 'i2 ) ->
  account_balance_precondition_unsatisfied:
    ( 'j2 -> t Variantslib.Variant.t -> 'k2 ) ->
  account_nonce_precondition_unsatisfied:
    ( 'l2 -> t Variantslib.Variant.t -> 'm2 ) ->
  account_receipt_chain_hash_precondition_unsatisfied:
    ( 'n2 -> t Variantslib.Variant.t -> 'o2 ) ->
  account_delegate_precondition_unsatisfied:
    ( 'p2 -> t Variantslib.Variant.t -> 'q2 ) ->
  account_sequence_state_precondition_unsatisfied:
    ( 'r2 -> t Variantslib.Variant.t -> 's2 ) ->
  account_app_state_precondition_unsatisfied:
    ( 't2 -> ( int -> t ) Variantslib.Variant.t -> 'u2 ) ->
  account_proved_state_precondition_unsatisfied:
    ( 'v2 -> t Variantslib.Variant.t -> 'w2 ) ->
  account_is_new_precondition_unsatisfied:
    ( 'x2 -> t Variantslib.Variant.t -> 'y2 ) ->
  protocol_state_precondition_unsatisfied:
    ( 'z2 -> t Variantslib.Variant.t -> 'a3 ) ->
  incorrect_nonce:( 'b3 -> t Variantslib.Variant.t -> 'c3 ) ->
  invalid_fee_excess:( 'd3 -> t Variantslib.Variant.t -> 'e3 ) ->
  cancelled:( 'f3 -> t Variantslib.Variant.t -> 'g3 ) ->
  'h3

val iter : 
  predicate:( t Variantslib.Variant.t -> unit ) ->
  source_not_present:( t Variantslib.Variant.t -> unit ) ->
  receiver_not_present:( t Variantslib.Variant.t -> unit ) ->
  amount_insufficient_to_create_account:( t Variantslib.Variant.t -> unit ) ->
  cannot_pay_creation_fee_in_token:( t Variantslib.Variant.t -> unit ) ->
  source_insufficient_balance:( t Variantslib.Variant.t -> unit ) ->
  source_minimum_balance_violation:( t Variantslib.Variant.t -> unit ) ->
  receiver_already_exists:( t Variantslib.Variant.t -> unit ) ->
  token_owner_not_caller:( t Variantslib.Variant.t -> unit ) ->
  overflow:( t Variantslib.Variant.t -> unit ) ->
  global_excess_overflow:( t Variantslib.Variant.t -> unit ) ->
  local_excess_overflow:( t Variantslib.Variant.t -> unit ) ->
  local_supply_increase_overflow:( t Variantslib.Variant.t -> unit ) ->
  global_supply_increase_overflow:( t Variantslib.Variant.t -> unit ) ->
  signed_command_on_zkapp_account:( t Variantslib.Variant.t -> unit ) ->
  zkapp_account_not_present:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_balance:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_timing_existing_account:
    ( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_delegate:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_app_state:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_verification_key:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_sequence_state:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_zkapp_uri:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_token_symbol:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_permissions:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_nonce:( t Variantslib.Variant.t -> unit ) ->
  update_not_permitted_voting_for:( t Variantslib.Variant.t -> unit ) ->
  zkapp_command_replay_check_failed:( t Variantslib.Variant.t -> unit ) ->
  fee_payer_nonce_must_increase:( t Variantslib.Variant.t -> unit ) ->
  fee_payer_must_be_signed:( t Variantslib.Variant.t -> unit ) ->
  account_balance_precondition_unsatisfied:( t Variantslib.Variant.t -> unit ) ->
  account_nonce_precondition_unsatisfied:( t Variantslib.Variant.t -> unit ) ->
  account_receipt_chain_hash_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> unit ) ->
  account_delegate_precondition_unsatisfied:( t Variantslib.Variant.t -> unit ) ->
  account_sequence_state_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> unit ) ->
  account_app_state_precondition_unsatisfied:
    ( ( int -> t ) Variantslib.Variant.t -> unit ) ->
  account_proved_state_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> unit ) ->
  account_is_new_precondition_unsatisfied:( t Variantslib.Variant.t -> unit ) ->
  protocol_state_precondition_unsatisfied:( t Variantslib.Variant.t -> unit ) ->
  incorrect_nonce:( t Variantslib.Variant.t -> unit ) ->
  invalid_fee_excess:( t Variantslib.Variant.t -> unit ) ->
  cancelled:( t Variantslib.Variant.t -> unit ) ->
  unit

val map : 
  t ->
  predicate:( t Variantslib.Variant.t -> 'a ) ->
  source_not_present:( t Variantslib.Variant.t -> 'b ) ->
  receiver_not_present:( t Variantslib.Variant.t -> 'c ) ->
  amount_insufficient_to_create_account:( t Variantslib.Variant.t -> 'd ) ->
  cannot_pay_creation_fee_in_token:( t Variantslib.Variant.t -> 'e ) ->
  source_insufficient_balance:( t Variantslib.Variant.t -> 'f ) ->
  source_minimum_balance_violation:( t Variantslib.Variant.t -> 'g ) ->
  receiver_already_exists:( t Variantslib.Variant.t -> 'h ) ->
  token_owner_not_caller:( t Variantslib.Variant.t -> 'i ) ->
  overflow:( t Variantslib.Variant.t -> 'j ) ->
  global_excess_overflow:( t Variantslib.Variant.t -> 'k ) ->
  local_excess_overflow:( t Variantslib.Variant.t -> 'l ) ->
  local_supply_increase_overflow:( t Variantslib.Variant.t -> 'm ) ->
  global_supply_increase_overflow:( t Variantslib.Variant.t -> 'n ) ->
  signed_command_on_zkapp_account:( t Variantslib.Variant.t -> 'o ) ->
  zkapp_account_not_present:( t Variantslib.Variant.t -> 'p ) ->
  update_not_permitted_balance:( t Variantslib.Variant.t -> 'q ) ->
  update_not_permitted_timing_existing_account:
    ( t Variantslib.Variant.t -> 'r ) ->
  update_not_permitted_delegate:( t Variantslib.Variant.t -> 's ) ->
  update_not_permitted_app_state:( t Variantslib.Variant.t -> 't ) ->
  update_not_permitted_verification_key:( t Variantslib.Variant.t -> 'u ) ->
  update_not_permitted_sequence_state:( t Variantslib.Variant.t -> 'v ) ->
  update_not_permitted_zkapp_uri:( t Variantslib.Variant.t -> 'w ) ->
  update_not_permitted_token_symbol:( t Variantslib.Variant.t -> 'x ) ->
  update_not_permitted_permissions:( t Variantslib.Variant.t -> 'y ) ->
  update_not_permitted_nonce:( t Variantslib.Variant.t -> 'z ) ->
  update_not_permitted_voting_for:( t Variantslib.Variant.t -> 'a1 ) ->
  zkapp_command_replay_check_failed:( t Variantslib.Variant.t -> 'b1 ) ->
  fee_payer_nonce_must_increase:( t Variantslib.Variant.t -> 'c1 ) ->
  fee_payer_must_be_signed:( t Variantslib.Variant.t -> 'd1 ) ->
  account_balance_precondition_unsatisfied:( t Variantslib.Variant.t -> 'e1 ) ->
  account_nonce_precondition_unsatisfied:( t Variantslib.Variant.t -> 'f1 ) ->
  account_receipt_chain_hash_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'g1 ) ->
  account_delegate_precondition_unsatisfied:( t Variantslib.Variant.t -> 'h1 ) ->
  account_sequence_state_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'i1 ) ->
  account_app_state_precondition_unsatisfied:
    ( ( int -> t ) Variantslib.Variant.t -> int -> 'j1 ) ->
  account_proved_state_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'k1 ) ->
  account_is_new_precondition_unsatisfied:( t Variantslib.Variant.t -> 'l1 ) ->
  protocol_state_precondition_unsatisfied:( t Variantslib.Variant.t -> 'm1 ) ->
  incorrect_nonce:( t Variantslib.Variant.t -> 'n1 ) ->
  invalid_fee_excess:( t Variantslib.Variant.t -> 'o1 ) ->
  cancelled:( t Variantslib.Variant.t -> 'p1 ) ->
  'q1

val make_matcher : 
  predicate:( t Variantslib.Variant.t -> 'a -> ( unit -> 'b ) * 'c ) ->
  source_not_present:( t Variantslib.Variant.t -> 'd -> ( unit -> 'e ) * 'f ) ->
  receiver_not_present:( t Variantslib.Variant.t -> 'g -> ( unit -> 'h ) * 'i ) ->
  amount_insufficient_to_create_account:
    ( t Variantslib.Variant.t -> 'j -> ( unit -> 'k ) * 'l ) ->
  cannot_pay_creation_fee_in_token:
    ( t Variantslib.Variant.t -> 'm -> ( unit -> 'n ) * 'o ) ->
  source_insufficient_balance:
    ( t Variantslib.Variant.t -> 'p -> ( unit -> 'q ) * 'r ) ->
  source_minimum_balance_violation:
    ( t Variantslib.Variant.t -> 's -> ( unit -> 't ) * 'u ) ->
  receiver_already_exists:
    ( t Variantslib.Variant.t -> 'v -> ( unit -> 'w ) * 'x ) ->
  token_owner_not_caller:
    ( t Variantslib.Variant.t -> 'y -> ( unit -> 'z ) * 'a1 ) ->
  overflow:( t Variantslib.Variant.t -> 'b1 -> ( unit -> 'c1 ) * 'd1 ) ->
  global_excess_overflow:
    ( t Variantslib.Variant.t -> 'e1 -> ( unit -> 'f1 ) * 'g1 ) ->
  local_excess_overflow:
    ( t Variantslib.Variant.t -> 'h1 -> ( unit -> 'i1 ) * 'j1 ) ->
  local_supply_increase_overflow:
    ( t Variantslib.Variant.t -> 'k1 -> ( unit -> 'l1 ) * 'm1 ) ->
  global_supply_increase_overflow:
    ( t Variantslib.Variant.t -> 'n1 -> ( unit -> 'o1 ) * 'p1 ) ->
  signed_command_on_zkapp_account:
    ( t Variantslib.Variant.t -> 'q1 -> ( unit -> 'r1 ) * 's1 ) ->
  zkapp_account_not_present:
    ( t Variantslib.Variant.t -> 't1 -> ( unit -> 'u1 ) * 'v1 ) ->
  update_not_permitted_balance:
    ( t Variantslib.Variant.t -> 'w1 -> ( unit -> 'x1 ) * 'y1 ) ->
  update_not_permitted_timing_existing_account:
    ( t Variantslib.Variant.t -> 'z1 -> ( unit -> 'a2 ) * 'b2 ) ->
  update_not_permitted_delegate:
    ( t Variantslib.Variant.t -> 'c2 -> ( unit -> 'd2 ) * 'e2 ) ->
  update_not_permitted_app_state:
    ( t Variantslib.Variant.t -> 'f2 -> ( unit -> 'g2 ) * 'h2 ) ->
  update_not_permitted_verification_key:
    ( t Variantslib.Variant.t -> 'i2 -> ( unit -> 'j2 ) * 'k2 ) ->
  update_not_permitted_sequence_state:
    ( t Variantslib.Variant.t -> 'l2 -> ( unit -> 'm2 ) * 'n2 ) ->
  update_not_permitted_zkapp_uri:
    ( t Variantslib.Variant.t -> 'o2 -> ( unit -> 'p2 ) * 'q2 ) ->
  update_not_permitted_token_symbol:
    ( t Variantslib.Variant.t -> 'r2 -> ( unit -> 's2 ) * 't2 ) ->
  update_not_permitted_permissions:
    ( t Variantslib.Variant.t -> 'u2 -> ( unit -> 'v2 ) * 'w2 ) ->
  update_not_permitted_nonce:
    ( t Variantslib.Variant.t -> 'x2 -> ( unit -> 'y2 ) * 'z2 ) ->
  update_not_permitted_voting_for:
    ( t Variantslib.Variant.t -> 'a3 -> ( unit -> 'b3 ) * 'c3 ) ->
  zkapp_command_replay_check_failed:
    ( t Variantslib.Variant.t -> 'd3 -> ( unit -> 'e3 ) * 'f3 ) ->
  fee_payer_nonce_must_increase:
    ( t Variantslib.Variant.t -> 'g3 -> ( unit -> 'h3 ) * 'i3 ) ->
  fee_payer_must_be_signed:
    ( t Variantslib.Variant.t -> 'j3 -> ( unit -> 'k3 ) * 'l3 ) ->
  account_balance_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'm3 -> ( unit -> 'n3 ) * 'o3 ) ->
  account_nonce_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'p3 -> ( unit -> 'q3 ) * 'r3 ) ->
  account_receipt_chain_hash_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 's3 -> ( unit -> 't3 ) * 'u3 ) ->
  account_delegate_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'v3 -> ( unit -> 'w3 ) * 'x3 ) ->
  account_sequence_state_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'y3 -> ( unit -> 'z3 ) * 'a4 ) ->
  account_app_state_precondition_unsatisfied:
    ( ( int -> t ) Variantslib.Variant.t -> 'b4 -> ( int -> 'c4 ) * 'd4 ) ->
  account_proved_state_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'e4 -> ( unit -> 'f4 ) * 'g4 ) ->
  account_is_new_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'h4 -> ( unit -> 'i4 ) * 'j4 ) ->
  protocol_state_precondition_unsatisfied:
    ( t Variantslib.Variant.t -> 'k4 -> ( unit -> 'l4 ) * 'm4 ) ->
  incorrect_nonce:( t Variantslib.Variant.t -> 'n4 -> ( unit -> 'o4 ) * 'p4 ) ->
  invalid_fee_excess:
    ( t Variantslib.Variant.t -> 'q4 -> ( unit -> 'r4 ) * 's4 ) ->
  cancelled:( t Variantslib.Variant.t -> 't4 -> ( unit -> 'u4 ) * 'v4 ) ->
  'w4 ->
  ( t -> 'c4 ) * 'x4

val to_rank : t -> int

val to_name : t -> string

val descriptions : (string * int) list