Direct (mina_base.Mina_base.Account.Poly.Stable.V1.Fields.Direct)

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

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

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

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

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

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

val set_all_mutable_fields : 'a -> unit