Fields (mina_transaction_logic.Mina_transaction_logic.Zkapp_command_logic.Local

val names : string list

val failure_status_tbl : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'failure_status_tbl ) t,
    'failure_status_tbl0 )
    Fieldslib.Field.t_with_perm

val account_update_index : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'length, 'h ) t,
    'length0 )
    Fieldslib.Field.t_with_perm

val success : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'bool, 'f, 'g, 'h ) t,
    'bool0 )
    Fieldslib.Field.t_with_perm

val ledger : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'ledger, 'e, 'f, 'g, 'h ) t,
    'ledger0 )
    Fieldslib.Field.t_with_perm

val supply_increase : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'signed_amount, 'd, 'e, 'f, 'g, 'h ) t,
    'signed_amount0 )
    Fieldslib.Field.t_with_perm

val excess : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'signed_amount, 'd, 'e, 'f, 'g, 'h ) t,
    'signed_amount0 )
    Fieldslib.Field.t_with_perm

val token_id : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'token_id, 'c, 'd, 'e, 'f, 'g, 'h ) t,
    'token_id0 )
    Fieldslib.Field.t_with_perm

val full_transaction_commitment : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'comm, 'g, 'h ) t,
    'comm0 )
    Fieldslib.Field.t_with_perm

val transaction_commitment : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'comm, 'g, 'h ) t,
    'comm0 )
    Fieldslib.Field.t_with_perm

val call_stack : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'call_stack, 'b, 'c, 'd, 'e, 'f, 'g, 'h ) t,
    'call_stack0 )
    Fieldslib.Field.t_with_perm

val stack_frame : 
  ( [< `Read | `Set_and_create ],
    ( 'stack_frame, 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h ) t,
    'stack_frame0 )
    Fieldslib.Field.t_with_perm

val make_creator : 
  stack_frame:
    ( ( [< `Read | `Set_and_create ],
        ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t,
        'a )
        Fieldslib.Field.t_with_perm ->
      'j ->
      ( 'k -> 'l ) * 'm ) ->
  call_stack:
    ( ( [< `Read | `Set_and_create ],
        ( 'n, 'o, 'p, 'q, 'r, 's, 't, 'u, 'v ) t,
        'o )
        Fieldslib.Field.t_with_perm ->
      'w ->
      ( 'x -> 'y ) * 'z ) ->
  transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'g1, 'h1, 'i1 ) t,
        'g1 )
        Fieldslib.Field.t_with_perm ->
      'j1 ->
      ( 'k1 -> 'l1 ) * 'm1 ) ->
  full_transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'n1, 'o1, 'p1, 'q1, 'r1, 's1, 't1, 'u1, 'v1 ) t,
        't1 )
        Fieldslib.Field.t_with_perm ->
      'w1 ->
      ( 'x1 -> 'y1 ) * 'z1 ) ->
  token_id:
    ( ( [< `Read | `Set_and_create ],
        ( 'a2, 'b2, 'c2, 'd2, 'e2, 'f2, 'g2, 'h2, 'i2 ) t,
        'c2 )
        Fieldslib.Field.t_with_perm ->
      'j2 ->
      ( 'k2 -> 'l2 ) * 'm2 ) ->
  excess:
    ( ( [< `Read | `Set_and_create ],
        ( 'n2, 'o2, 'p2, 'q2, 'r2, 's2, 't2, 'u2, 'v2 ) t,
        'q2 )
        Fieldslib.Field.t_with_perm ->
      'w2 ->
      ( 'x2 -> 'y2 ) * 'z2 ) ->
  supply_increase:
    ( ( [< `Read | `Set_and_create ],
        ( 'a3, 'b3, 'c3, 'd3, 'e3, 'f3, 'g3, 'h3, 'i3 ) t,
        'd3 )
        Fieldslib.Field.t_with_perm ->
      'j3 ->
      ( 'k3 -> 'l3 ) * 'm3 ) ->
  ledger:
    ( ( [< `Read | `Set_and_create ],
        ( 'n3, 'o3, 'p3, 'q3, 'r3, 's3, 't3, 'u3, 'v3 ) t,
        'r3 )
        Fieldslib.Field.t_with_perm ->
      'w3 ->
      ( 'x3 -> 'y3 ) * 'z3 ) ->
  success:
    ( ( [< `Read | `Set_and_create ],
        ( 'a4, 'b4, 'c4, 'd4, 'e4, 'f4, 'g4, 'h4, 'i4 ) t,
        'f4 )
        Fieldslib.Field.t_with_perm ->
      'j4 ->
      ( 'k4 -> 'l4 ) * 'm4 ) ->
  account_update_index:
    ( ( [< `Read | `Set_and_create ],
        ( 'n4, 'o4, 'p4, 'q4, 'r4, 's4, 't4, 'u4, 'v4 ) t,
        'u4 )
        Fieldslib.Field.t_with_perm ->
      'w4 ->
      ( 'x4 -> 'y4 ) * 'z4 ) ->
  failure_status_tbl:
    ( ( [< `Read | `Set_and_create ],
        ( 'a5, 'b5, 'c5, 'd5, 'e5, 'f5, 'g5, 'h5, 'i5 ) t,
        'i5 )
        Fieldslib.Field.t_with_perm ->
      'j5 ->
      ( 'k5 -> 'l5 ) * 'm5 ) ->
  'n5 ->
  ( 'o5 -> ( 'p5, 'q5, 'r5, 's5, 't5, 'u5, 'v5, 'w5, 'x5 ) t ) * 'y5

val create : 
  stack_frame:'a ->
  call_stack:'b ->
  transaction_commitment:'c ->
  full_transaction_commitment:'d ->
  token_id:'e ->
  excess:'f ->
  supply_increase:'g ->
  ledger:'h ->
  success:'i ->
  account_update_index:'j ->
  failure_status_tbl:'k ->
  ( 'l, 'm, 'n, 'o, 'p, 'q, 'r, 's, 't ) t

val map : 
  stack_frame:
    ( ( [< `Read | `Set_and_create ],
        ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t,
        'a )
        Fieldslib.Field.t_with_perm ->
      'j ) ->
  call_stack:
    ( ( [< `Read | `Set_and_create ],
        ( 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r, 's ) t,
        'l )
        Fieldslib.Field.t_with_perm ->
      't ) ->
  transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'u, 'v, 'w, 'x, 'y, 'z, 'a1, 'b1, 'c1 ) t,
        'a1 )
        Fieldslib.Field.t_with_perm ->
      'd1 ) ->
  full_transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'e1, 'f1, 'g1, 'h1, 'i1, 'j1, 'k1, 'l1, 'm1 ) t,
        'k1 )
        Fieldslib.Field.t_with_perm ->
      'n1 ) ->
  token_id:
    ( ( [< `Read | `Set_and_create ],
        ( 'o1, 'p1, 'q1, 'r1, 's1, 't1, 'u1, 'v1, 'w1 ) t,
        'q1 )
        Fieldslib.Field.t_with_perm ->
      'x1 ) ->
  excess:
    ( ( [< `Read | `Set_and_create ],
        ( 'y1, 'z1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2, 'g2 ) t,
        'b2 )
        Fieldslib.Field.t_with_perm ->
      'h2 ) ->
  supply_increase:
    ( ( [< `Read | `Set_and_create ],
        ( 'i2, 'j2, 'k2, 'l2, 'm2, 'n2, 'o2, 'p2, 'q2 ) t,
        'l2 )
        Fieldslib.Field.t_with_perm ->
      'r2 ) ->
  ledger:
    ( ( [< `Read | `Set_and_create ],
        ( 's2, 't2, 'u2, 'v2, 'w2, 'x2, 'y2, 'z2, 'a3 ) t,
        'w2 )
        Fieldslib.Field.t_with_perm ->
      'b3 ) ->
  success:
    ( ( [< `Read | `Set_and_create ],
        ( 'c3, 'd3, 'e3, 'f3, 'g3, 'h3, 'i3, 'j3, 'k3 ) t,
        'h3 )
        Fieldslib.Field.t_with_perm ->
      'l3 ) ->
  account_update_index:
    ( ( [< `Read | `Set_and_create ],
        ( 'm3, 'n3, 'o3, 'p3, 'q3, 'r3, 's3, 't3, 'u3 ) t,
        't3 )
        Fieldslib.Field.t_with_perm ->
      'v3 ) ->
  failure_status_tbl:
    ( ( [< `Read | `Set_and_create ],
        ( 'w3, 'x3, 'y3, 'z3, 'a4, 'b4, 'c4, 'd4, 'e4 ) t,
        'e4 )
        Fieldslib.Field.t_with_perm ->
      'f4 ) ->
  ( 'g4, 'h4, 'i4, 'j4, 'k4, 'l4, 'm4, 'n4, 'o4 ) t

val iter : 
  stack_frame:
    ( ( [< `Read | `Set_and_create ],
        ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t,
        'a )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  call_stack:
    ( ( [< `Read | `Set_and_create ],
        ( 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r ) t,
        'k )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 's, 't, 'u, 'v, 'w, 'x, 'y, 'z, 'a1 ) t,
        'y )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  full_transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'b1, 'c1, 'd1, 'e1, 'f1, 'g1, 'h1, 'i1, 'j1 ) t,
        'h1 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  token_id:
    ( ( [< `Read | `Set_and_create ],
        ( 'k1, 'l1, 'm1, 'n1, 'o1, 'p1, 'q1, 'r1, 's1 ) t,
        'm1 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  excess:
    ( ( [< `Read | `Set_and_create ],
        ( 't1, 'u1, 'v1, 'w1, 'x1, 'y1, 'z1, 'a2, 'b2 ) t,
        'w1 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  supply_increase:
    ( ( [< `Read | `Set_and_create ],
        ( 'c2, 'd2, 'e2, 'f2, 'g2, 'h2, 'i2, 'j2, 'k2 ) t,
        'f2 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  ledger:
    ( ( [< `Read | `Set_and_create ],
        ( 'l2, 'm2, 'n2, 'o2, 'p2, 'q2, 'r2, 's2, 't2 ) t,
        'p2 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  success:
    ( ( [< `Read | `Set_and_create ],
        ( 'u2, 'v2, 'w2, 'x2, 'y2, 'z2, 'a3, 'b3, 'c3 ) t,
        'z2 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  account_update_index:
    ( ( [< `Read | `Set_and_create ],
        ( 'd3, 'e3, 'f3, 'g3, 'h3, 'i3, 'j3, 'k3, 'l3 ) t,
        'k3 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  failure_status_tbl:
    ( ( [< `Read | `Set_and_create ],
        ( 'm3, 'n3, 'o3, 'p3, 'q3, 'r3, 's3, 't3, 'u3 ) t,
        'u3 )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

val fold : 
  init:'a ->
  stack_frame:
    ( 'b ->
      ( [< `Read | `Set_and_create ],
        ( 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k ) t,
        'c )
        Fieldslib.Field.t_with_perm ->
      'l ) ->
  call_stack:
    ( 'm ->
      ( [< `Read | `Set_and_create ],
        ( 'n, 'o, 'p, 'q, 'r, 's, 't, 'u, 'v ) t,
        'o )
        Fieldslib.Field.t_with_perm ->
      'w ) ->
  transaction_commitment:
    ( 'x ->
      ( [< `Read | `Set_and_create ],
        ( 'y, 'z, 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'g1 ) t,
        'e1 )
        Fieldslib.Field.t_with_perm ->
      'h1 ) ->
  full_transaction_commitment:
    ( 'i1 ->
      ( [< `Read | `Set_and_create ],
        ( 'j1, 'k1, 'l1, 'm1, 'n1, 'o1, 'p1, 'q1, 'r1 ) t,
        'p1 )
        Fieldslib.Field.t_with_perm ->
      's1 ) ->
  token_id:
    ( 't1 ->
      ( [< `Read | `Set_and_create ],
        ( 'u1, 'v1, 'w1, 'x1, 'y1, 'z1, 'a2, 'b2, 'c2 ) t,
        'w1 )
        Fieldslib.Field.t_with_perm ->
      'd2 ) ->
  excess:
    ( 'e2 ->
      ( [< `Read | `Set_and_create ],
        ( 'f2, 'g2, 'h2, 'i2, 'j2, 'k2, 'l2, 'm2, 'n2 ) t,
        'i2 )
        Fieldslib.Field.t_with_perm ->
      'o2 ) ->
  supply_increase:
    ( 'p2 ->
      ( [< `Read | `Set_and_create ],
        ( 'q2, 'r2, 's2, 't2, 'u2, 'v2, 'w2, 'x2, 'y2 ) t,
        't2 )
        Fieldslib.Field.t_with_perm ->
      'z2 ) ->
  ledger:
    ( 'a3 ->
      ( [< `Read | `Set_and_create ],
        ( 'b3, 'c3, 'd3, 'e3, 'f3, 'g3, 'h3, 'i3, 'j3 ) t,
        'f3 )
        Fieldslib.Field.t_with_perm ->
      'k3 ) ->
  success:
    ( 'l3 ->
      ( [< `Read | `Set_and_create ],
        ( 'm3, 'n3, 'o3, 'p3, 'q3, 'r3, 's3, 't3, 'u3 ) t,
        'r3 )
        Fieldslib.Field.t_with_perm ->
      'v3 ) ->
  account_update_index:
    ( 'w3 ->
      ( [< `Read | `Set_and_create ],
        ( 'x3, 'y3, 'z3, 'a4, 'b4, 'c4, 'd4, 'e4, 'f4 ) t,
        'e4 )
        Fieldslib.Field.t_with_perm ->
      'g4 ) ->
  failure_status_tbl:
    ( 'h4 ->
      ( [< `Read | `Set_and_create ],
        ( 'i4, 'j4, 'k4, 'l4, 'm4, 'n4, 'o4, 'p4, 'q4 ) t,
        'q4 )
        Fieldslib.Field.t_with_perm ->
      'r4 ) ->
  's4

val map_poly : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t,
    'j )
    Fieldslib.Field.user ->
  'k list

val for_all : 
  stack_frame:
    ( ( [< `Read | `Set_and_create ],
        ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t,
        'a )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  call_stack:
    ( ( [< `Read | `Set_and_create ],
        ( 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r ) t,
        'k )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 's, 't, 'u, 'v, 'w, 'x, 'y, 'z, 'a1 ) t,
        'y )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  full_transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'b1, 'c1, 'd1, 'e1, 'f1, 'g1, 'h1, 'i1, 'j1 ) t,
        'h1 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  token_id:
    ( ( [< `Read | `Set_and_create ],
        ( 'k1, 'l1, 'm1, 'n1, 'o1, 'p1, 'q1, 'r1, 's1 ) t,
        'm1 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  excess:
    ( ( [< `Read | `Set_and_create ],
        ( 't1, 'u1, 'v1, 'w1, 'x1, 'y1, 'z1, 'a2, 'b2 ) t,
        'w1 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  supply_increase:
    ( ( [< `Read | `Set_and_create ],
        ( 'c2, 'd2, 'e2, 'f2, 'g2, 'h2, 'i2, 'j2, 'k2 ) t,
        'f2 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  ledger:
    ( ( [< `Read | `Set_and_create ],
        ( 'l2, 'm2, 'n2, 'o2, 'p2, 'q2, 'r2, 's2, 't2 ) t,
        'p2 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  success:
    ( ( [< `Read | `Set_and_create ],
        ( 'u2, 'v2, 'w2, 'x2, 'y2, 'z2, 'a3, 'b3, 'c3 ) t,
        'z2 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  account_update_index:
    ( ( [< `Read | `Set_and_create ],
        ( 'd3, 'e3, 'f3, 'g3, 'h3, 'i3, 'j3, 'k3, 'l3 ) t,
        'k3 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  failure_status_tbl:
    ( ( [< `Read | `Set_and_create ],
        ( 'm3, 'n3, 'o3, 'p3, 'q3, 'r3, 's3, 't3, 'u3 ) t,
        'u3 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val exists : 
  stack_frame:
    ( ( [< `Read | `Set_and_create ],
        ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t,
        'a )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  call_stack:
    ( ( [< `Read | `Set_and_create ],
        ( 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r ) t,
        'k )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 's, 't, 'u, 'v, 'w, 'x, 'y, 'z, 'a1 ) t,
        'y )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  full_transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'b1, 'c1, 'd1, 'e1, 'f1, 'g1, 'h1, 'i1, 'j1 ) t,
        'h1 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  token_id:
    ( ( [< `Read | `Set_and_create ],
        ( 'k1, 'l1, 'm1, 'n1, 'o1, 'p1, 'q1, 'r1, 's1 ) t,
        'm1 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  excess:
    ( ( [< `Read | `Set_and_create ],
        ( 't1, 'u1, 'v1, 'w1, 'x1, 'y1, 'z1, 'a2, 'b2 ) t,
        'w1 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  supply_increase:
    ( ( [< `Read | `Set_and_create ],
        ( 'c2, 'd2, 'e2, 'f2, 'g2, 'h2, 'i2, 'j2, 'k2 ) t,
        'f2 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  ledger:
    ( ( [< `Read | `Set_and_create ],
        ( 'l2, 'm2, 'n2, 'o2, 'p2, 'q2, 'r2, 's2, 't2 ) t,
        'p2 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  success:
    ( ( [< `Read | `Set_and_create ],
        ( 'u2, 'v2, 'w2, 'x2, 'y2, 'z2, 'a3, 'b3, 'c3 ) t,
        'z2 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  account_update_index:
    ( ( [< `Read | `Set_and_create ],
        ( 'd3, 'e3, 'f3, 'g3, 'h3, 'i3, 'j3, 'k3, 'l3 ) t,
        'k3 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  failure_status_tbl:
    ( ( [< `Read | `Set_and_create ],
        ( 'm3, 'n3, 'o3, 'p3, 'q3, 'r3, 's3, 't3, 'u3 ) t,
        'u3 )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val to_list : 
  stack_frame:
    ( ( [< `Read | `Set_and_create ],
        ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i ) t,
        'a )
        Fieldslib.Field.t_with_perm ->
      'j ) ->
  call_stack:
    ( ( [< `Read | `Set_and_create ],
        ( 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r, 's ) t,
        'l )
        Fieldslib.Field.t_with_perm ->
      't ) ->
  transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'u, 'v, 'w, 'x, 'y, 'z, 'a1, 'b1, 'c1 ) t,
        'a1 )
        Fieldslib.Field.t_with_perm ->
      'd1 ) ->
  full_transaction_commitment:
    ( ( [< `Read | `Set_and_create ],
        ( 'e1, 'f1, 'g1, 'h1, 'i1, 'j1, 'k1, 'l1, 'm1 ) t,
        'k1 )
        Fieldslib.Field.t_with_perm ->
      'n1 ) ->
  token_id:
    ( ( [< `Read | `Set_and_create ],
        ( 'o1, 'p1, 'q1, 'r1, 's1, 't1, 'u1, 'v1, 'w1 ) t,
        'q1 )
        Fieldslib.Field.t_with_perm ->
      'x1 ) ->
  excess:
    ( ( [< `Read | `Set_and_create ],
        ( 'y1, 'z1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2, 'g2 ) t,
        'b2 )
        Fieldslib.Field.t_with_perm ->
      'h2 ) ->
  supply_increase:
    ( ( [< `Read | `Set_and_create ],
        ( 'i2, 'j2, 'k2, 'l2, 'm2, 'n2, 'o2, 'p2, 'q2 ) t,
        'l2 )
        Fieldslib.Field.t_with_perm ->
      'r2 ) ->
  ledger:
    ( ( [< `Read | `Set_and_create ],
        ( 's2, 't2, 'u2, 'v2, 'w2, 'x2, 'y2, 'z2, 'a3 ) t,
        'w2 )
        Fieldslib.Field.t_with_perm ->
      'b3 ) ->
  success:
    ( ( [< `Read | `Set_and_create ],
        ( 'c3, 'd3, 'e3, 'f3, 'g3, 'h3, 'i3, 'j3, 'k3 ) t,
        'h3 )
        Fieldslib.Field.t_with_perm ->
      'l3 ) ->
  account_update_index:
    ( ( [< `Read | `Set_and_create ],
        ( 'm3, 'n3, 'o3, 'p3, 'q3, 'r3, 's3, 't3, 'u3 ) t,
        't3 )
        Fieldslib.Field.t_with_perm ->
      'v3 ) ->
  failure_status_tbl:
    ( ( [< `Read | `Set_and_create ],
        ( 'w3, 'x3, 'y3, 'z3, 'a4, 'b4, 'c4, 'd4, 'e4 ) t,
        'e4 )
        Fieldslib.Field.t_with_perm ->
      'f4 ) ->
  'g4 list

module Direct : sig ... end