Fields (mina_base.Mina_base.Account.Poly.Fields)

val names : string list

val zkapp : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'zkapp_opt ) t,
    'zkapp_opt0 )
    Fieldslib.Field.t_with_perm

val permissions : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'permissions, 'k ) t,
    'permissions0 )
    Fieldslib.Field.t_with_perm

val timing : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'timing, 'j, 'k ) t,
    'timing0 )
    Fieldslib.Field.t_with_perm

val voting_for : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'state_hash, 'i, 'j, 'k ) t,
    'state_hash0 )
    Fieldslib.Field.t_with_perm

val delegate : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'delegate, 'h, 'i, 'j, 'k ) t,
    'delegate0 )
    Fieldslib.Field.t_with_perm

val receipt_chain_hash : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'f, 'receipt_chain_hash, 'g, 'h, 'i, 'j, 'k ) t,
    'receipt_chain_hash0 )
    Fieldslib.Field.t_with_perm

val nonce : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'e, 'nonce, 'f, 'g, 'h, 'i, 'j, 'k ) t,
    'nonce0 )
    Fieldslib.Field.t_with_perm

val balance : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'd, 'amount, 'e, 'f, 'g, 'h, 'i, 'j, 'k ) t,
    'amount0 )
    Fieldslib.Field.t_with_perm

val token_symbol : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'c, 'token_symbol, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k ) t,
    'token_symbol0 )
    Fieldslib.Field.t_with_perm

val token_permissions : 
  ( [< `Read | `Set_and_create ],
    ( 'a, 'b, 'token_permissions, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k ) t,
    'token_permissions0 )
    Fieldslib.Field.t_with_perm

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

val public_key : 
  ( [< `Read | `Set_and_create ],
    ( 'pk, 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k ) t,
    'pk0 )
    Fieldslib.Field.t_with_perm

val make_creator : 
  public_key:
    ( ( [< `Read | `Set_and_create ],
        ( 'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l ) t,
        'a )
        Fieldslib.Field.t_with_perm ->
      'm ->
      ( 'n -> 'o ) * 'p ) ->
  token_id:
    ( ( [< `Read | `Set_and_create ],
        ( 'q, 'r, 's, 't, 'u, 'v, 'w, 'x, 'y, 'z, 'a1, 'b1 ) t,
        'r )
        Fieldslib.Field.t_with_perm ->
      'c1 ->
      ( 'd1 -> 'e1 ) * 'f1 ) ->
  token_permissions:
    ( ( [< `Read | `Set_and_create ],
        ( 'g1, 'h1, 'i1, 'j1, 'k1, 'l1, 'm1, 'n1, 'o1, 'p1, 'q1, 'r1 ) t,
        'i1 )
        Fieldslib.Field.t_with_perm ->
      's1 ->
      ( 't1 -> 'u1 ) * 'v1 ) ->
  token_symbol:
    ( ( [< `Read | `Set_and_create ],
        ( 'w1, 'x1, 'y1, 'z1, 'a2, 'b2, 'c2, 'd2, 'e2, 'f2, 'g2, 'h2 ) t,
        'z1 )
        Fieldslib.Field.t_with_perm ->
      'i2 ->
      ( 'j2 -> 'k2 ) * 'l2 ) ->
  balance:
    ( ( [< `Read | `Set_and_create ],
        ( 'm2, 'n2, 'o2, 'p2, 'q2, 'r2, 's2, 't2, 'u2, 'v2, 'w2, 'x2 ) t,
        'q2 )
        Fieldslib.Field.t_with_perm ->
      'y2 ->
      ( 'z2 -> 'a3 ) * 'b3 ) ->
  nonce:
    ( ( [< `Read | `Set_and_create ],
        ( 'c3, 'd3, 'e3, 'f3, 'g3, 'h3, 'i3, 'j3, 'k3, 'l3, 'm3, 'n3 ) t,
        'h3 )
        Fieldslib.Field.t_with_perm ->
      'o3 ->
      ( 'p3 -> 'q3 ) * 'r3 ) ->
  receipt_chain_hash:
    ( ( [< `Read | `Set_and_create ],
        ( 's3, 't3, 'u3, 'v3, 'w3, 'x3, 'y3, 'z3, 'a4, 'b4, 'c4, 'd4 ) t,
        'y3 )
        Fieldslib.Field.t_with_perm ->
      'e4 ->
      ( 'f4 -> 'g4 ) * 'h4 ) ->
  delegate:
    ( ( [< `Read | `Set_and_create ],
        ( 'i4, 'j4, 'k4, 'l4, 'm4, 'n4, 'o4, 'p4, 'q4, 'r4, 's4, 't4 ) t,
        'p4 )
        Fieldslib.Field.t_with_perm ->
      'u4 ->
      ( 'v4 -> 'w4 ) * 'x4 ) ->
  voting_for:
    ( ( [< `Read | `Set_and_create ],
        ( 'y4, 'z4, 'a5, 'b5, 'c5, 'd5, 'e5, 'f5, 'g5, 'h5, 'i5, 'j5 ) t,
        'g5 )
        Fieldslib.Field.t_with_perm ->
      'k5 ->
      ( 'l5 -> 'm5 ) * 'n5 ) ->
  timing:
    ( ( [< `Read | `Set_and_create ],
        ( 'o5, 'p5, 'q5, 'r5, 's5, 't5, 'u5, 'v5, 'w5, 'x5, 'y5, 'z5 ) t,
        'x5 )
        Fieldslib.Field.t_with_perm ->
      'a6 ->
      ( 'b6 -> 'c6 ) * 'd6 ) ->
  permissions:
    ( ( [< `Read | `Set_and_create ],
        ( 'e6, 'f6, 'g6, 'h6, 'i6, 'j6, 'k6, 'l6, 'm6, 'n6, 'o6, 'p6 ) t,
        'o6 )
        Fieldslib.Field.t_with_perm ->
      'q6 ->
      ( 'r6 -> 's6 ) * 't6 ) ->
  zkapp:
    ( ( [< `Read | `Set_and_create ],
        ( 'u6, 'v6, 'w6, 'x6, 'y6, 'z6, 'a7, 'b7, 'c7, 'd7, 'e7, 'f7 ) t,
        'f7 )
        Fieldslib.Field.t_with_perm ->
      'g7 ->
      ( 'h7 -> 'i7 ) * 'j7 ) ->
  'k7 ->
  ( 'l7 ->
  ( 'm7, 'n7, 'o7, 'p7, 'q7, 'r7, 's7, 't7, 'u7, 'v7, 'w7, 'x7 ) t )
  * 'y7

val create : 
  public_key:'a ->
  token_id:'b ->
  token_permissions:'c ->
  token_symbol:'d ->
  balance:'e ->
  nonce:'f ->
  receipt_chain_hash:'g ->
  delegate:'h ->
  voting_for:'i ->
  timing:'j ->
  permissions:'k ->
  zkapp:'l ->
  ( 'm, 'n, 'o, 'p, 'q, 'r, 's, 't, 'u, 'v, 'w, 'x ) t

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

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

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

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

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

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

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

module Direct : sig ... end